Posts By: namin
Date | Post | Topic |
03/26/2010 | Tcl the Misunderstood | Tcl the Misunderstood |
09/22/2010 | Data is Code | Lifted inference: normalizing loops by evaluation |
10/23/2010 | The MIT technical report which proceeds the thesis | The Art of the Propagator |
10/25/2010 | Revised Report | The Art of the Propagator |
01/06/2009 | Reasonig about combinators (a lambda-calculus puzzle on composing compositions) | Reasonig about combinators (a lambda-calculus puzzle on composing compositions) |
01/06/2009 | OK. | Reasonig about combinators (a lambda-calculus puzzle on composing compositions) |
01/06/2009 | Thanks! | Reasonig about combinators (a lambda-calculus puzzle on composing compositions) |
01/05/2009 | JMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework | JMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework |
01/06/2009 | Isn't a -> b inhabited by your definition? | "Determinism" of types? |
01/06/2009 | Yes. | "Determinism" of types? |
12/28/2008 | Implementing Type Inference | Learning Pragmatics of Implementing a "Modern" Type Systems |
11/08/2008 | Many more videos | Microsoft Oslo |
08/30/2008 | Units of Measure in F# | Relational Parametricity and Units of Measure |
08/17/2008 | Great and simple way to learn Coq | Lambda, the Ultimate TA |
05/15/2008 | It's shipping! | EOPL3 |
07/22/2008 | Curry-Howard Isomorphism | Church's Thesis and Functional Programming |
02/22/2008 | that's a nice challenge | The Reasoned Schemer |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |