Documents Related by Co-Citation

1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
455 Comprehending Monads – Philip Wadler - 1992
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
220 Call-by-name, call-by-value, and the #-calculus – G Plotkin - 1975
1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
1305 Monads for functional programming – Philip Wadler - 1995
299 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
134 Linear Types Can Change the World! – Philip Wadler - 1990
60 A Reflection on Call-by-Value – Amr Sabry, Philip Wadler - 1996
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
171 Call-by-name, call-by-value, and the lambda calculus – G Plotkin - 1975
366 ML for the Working Programmer – L C Paulson - 1991
43 New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – R L Crole, A M Pitts - 1990
327 Foundations for Programming Languages – John C Mitchell - 1996
18 The De nition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, Dave MacQueen - 1997
93 The De nition of Standard ML – R Milner, M Tofte, R Harper - 1990
21 Programming in Martin-Lof's Type Theory, volume 7 – B Nordstrom, K Petersson, J M Smith - 1990