Posts By: Marlene Miller
| Date | Post | Topic |
| 06/01/2010 | Lambda, The Ultimate TA, Benjamin C. Pierce, ICFP 2009 | Lambda, The Ultimate TA, Benjamin C. Pierce, ICFP 2009 |
| 10/17/2009 | Computational Modelling | Course in mathematical logic with applications to computer science |
| 08/01/2009 | Contributing editors should | LtU turns 9: The year of the lurkers |
| 09/05/2008 | a recent discussion of | doing letrec with lambdas |
| 06/09/2008 | Hindley and Seldin | help with understanding combinatory logic |
| 05/05/2007 | Unless I missed something in | Is Integer wrapping an exceptional condition? |
| 11/29/2008 | including page 317 | Finding Landin's "The Mechanical Evaluation of Expressions" |
| 12/26/2006 | a reference | Question about closures and higher-order functions |
| 12/20/2006 | an historical approach to teaching real analysis | Teaching Discrete Mathematics via Primary Historical Sources |
| 12/21/2006 | more real analysis | Teaching Discrete Mathematics via Primary Historical Sources |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |