LAMBDA CALCULUS FOR ENGINEERS
暂无分享,去创建一个
[1] Richard J. Boulton,et al. Generating Embeddings from Denotational Descriptions , 1998, TPHOLs.
[2] Simon L. Peyton Jones,et al. Secrets of the Glasgow Haskell Compiler inliner , 2002, Journal of Functional Programming.
[3] Lennart Augustsson,et al. Functional Pearl: On generating unique names , 1994, Journal of Functional Programming.
[4] Simon L. Peyton Jones,et al. The Implementation of Functional Programming Languages , 1987 .
[5] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[6] Mark Dowson,et al. The Ariane 5 software failure , 1997, SOEN.
[7] Philip Wadler,et al. The essence of functional programming , 1992, POPL '92.
[8] Otto E. Laske,et al. Composition Theory in Koenig's Project One and Project Two , 1981 .
[9] Christian Urban,et al. alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence , 2004, ICLP.
[10] Andrew M. Pitts,et al. FreshML: programming with binders made simple , 2003, ICFP '03.
[11] M. J. Grant,et al. Serial Music, Serial Aesthetics: Compositional Theory in Post-War Europe , 2002 .
[12] Simon L. Peyton Jones,et al. State in Haskell , 1995, LISP Symb. Comput..
[13] James Cheney. Scrap your nameplate: (functional pearl) , 2005, ICFP '05.