Marlene Miller

type	title	author	last post
Forum topic	doing letrec with lambdas a recent discussion of by Marlene Miller	jimdesu	2014-09-29 19:46
Forum topic	Lambda, The Ultimate TA, Benjamin C. Pierce, ICFP 2009	Marlene Miller	2010-06-01 05:00
Forum topic	Course in mathematical logic with applications to computer science Computational Modelling by Marlene Miller	L Spice	2009-10-19 07:01
Story	LtU turns 9: The year of the lurkers Contributing editors should by Marlene Miller	Ehud Lamm	2009-08-01 05:43
Forum topic	Finding Landin's "The Mechanical Evaluation of Expressions" including page 317 by Marlene Miller	A B Carter	2009-07-24 14:58
Forum topic	help with understanding combinatory logic Hindley and Seldin by Marlene Miller	happycow	2008-06-10 08:13
Forum topic	Is Integer wrapping an exceptional condition? Unless I missed something in by Marlene Miller	mansu	2007-05-21 23:34
Forum topic	Question about closures and higher-order functions a reference by Marlene Miller	A B Carter	2007-01-02 22:12
Story	Teaching Discrete Mathematics via Primary Historical Sources more real analysis by Marlene Miller an historical approach to teaching real analysis by Marlene Miller	Ehud Lamm	2006-12-21 20:23

Lambda the Ultimate