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 |