Posts By: Martin Berger
| Date | Post | Topic |
| 04/16/2010 | I would list the following | hot topics in type theorem |
| 12/02/2009 | Nested Pattern | Pattern Calculus |
| 11/06/2009 | Basis of Comparison | John Hughes on Erlang and Haskell |
| 05/17/2009 | Structure of Interaction | Types are Calling Conventions |
| 04/27/2009 | Which Traces Though? | Branching Time vs. Linear Time: Semantical Perspective |
| 05/01/2009 | Re: Buy Lynch? | Branching Time vs. Linear Time: Semantical Perspective |
| 05/01/2009 | Re: The meaning of equivalence | Branching Time vs. Linear Time: Semantical Perspective |
| 02/15/2009 | How about discussing ... | Parameterized Notions of Computation |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |