"The semantics of second order polymorphic lambda calculus"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics	Dirk Draheim	1st ed. 2017	Springer Berlin Heidelberg
The Lambda Calculus	H.P. BARENDREGT	1984	Elsevier
Lambda Calculus with Types	Henk Barendregt; Wil Dekkers; Richard Statman	2013-06	Cambridge University Press
Lambda Calculus with Types	Henk Barendregt, Wil Dekkers, Richard Statman	2013	Cambridge University Press
Lambda-calculus, types and models	Jean-Louis Krivine, Rene Corvi (translator)	2011
An introduction to lambda calculus	Barendregt & Barendsen	2012.	Learning Press
Lambda-Calculus and Combinators: An Introduction	J. Roger Hindley; Jonathan P. Seldin	2008-07	Cambridge University Press
Lambda-calculus, combinators and functional programming	Révész, György E	1988	Cambridge University Press
Lambda-calculus, Combinators and Functional Programming	G. E. Revesz	1988	Cambridge University Press
A type inference algorithm and transition semantics for polymorphic C	Mustafa Özgen	1996	Naval Postgraduate School;Available from National Technical Information Service
Thomas' Calculus with Second-Order Differential Equations	Maurice D. Weir; Joel Hass; Ross L. Finney; Giordano, Frank R.	2010	Pearson Education, Limited
A simple lambda-calculus model of programming languages.	S. Kamal Abdali	1973	Courant Institute of Mathematical Sciences, New York University
The Parametric Lambda Calculus: A Metamodel for Computation	Simona Ronchi Della Rocca; Luca Paolini	2004	Springer Berlin Heidelberg
Abstract Computing Machines: A Lambda Calculus Perspective	Werner Kluge	2005	Springer Berlin Heidelberg
Predicate Calculus and Program Semantics	Edsger W. Dijkstra; Carel S. Scholten	1990	Springer New York
An Introduction to Functional Programming Through Lambda Calculus	Michaelson, G.	2011	Dover Publications
An Introduction to Functional Programming Through Lambda Calculus	Greg Michaelson	1989	Addison-Wesley
Efficient Polymorphic Calls	Karel Driesen	2001	Springer US
Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction	Gallier J., Quaintance J.	2020	University of Pennsylvania
Elements of programming linguistics. Part I, The lambda calculus and its implementation	Bruce J. MacLennan	1981	Naval Postgraduate School
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
The semantics of second order polymorphic lambda calculus	Kim B. Bruce; Albert R. Meyer	Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings	G. Kahn; D.B. MacQueen; G. Plotkin	1984	Springer Berlin Heidelberg
Polymorphic Lambda Calculus		Programming Languages (Lectures Slides)	Oscar Nierstrasz	2018	Bern University
The Polymorphic Lambda Calculus		Foundations of Object-Oriented Languages: Types and Semantics	Kim B. Bruce	2002	MIT Press
Third-order matching in the polymorphic lambda calculus	Jan Springintveld	Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA ' 95, Paderborn, Germany, September 1995. Selected Papers	Gilles Dowek; Jan Heering; Karl Meinke; Bernhard Möller	1996	Springer Berlin Heidelberg
3 - Second order typed lambda calculus		Type Theory and Formal Proof: An Introduction	Rob Nederpelt; Herman Geuvers	2014-11	Cambridge University Press
Lambda Calculus - Operational Semantics		Programming Languages (Lectures Slides)	Oscar Nierstrasz	2018	Bern University
Semantics of a Relational \(\lambda \) -Calculus	Pablo Barenbaum; Federico Lochbaum; Mariana Milicich	Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings	Violet Ka I Pun; Volker Stolz; Adenilso Simao	1st ed. 2020	Springer International Publishing
662 Operational Semantics of the Lambda Calculus		Design concepts in programming languages	Franklyn A. Turbak, David K. Gifford	2008	Massachusetts Institute of Technology
663 Denotational Semantics of the Lambda Calculus		Design concepts in programming languages	Franklyn A. Turbak, David K. Gifford	2008	Massachusetts Institute of Technology
The polymorphic lambda		C++ high performance: boost and optimize the performance of your C++ 17 code	Andrist, Björn; Garney, Ben; Sehr, Viktor	2017;2018	Packt Publishing Limited
An interval model for second order lambda calculus	Simone Martini	Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings	David H. Pitt; Axel Poigné; David E. Rydeheard	1987	Springer Berlin Heidelberg
Polymorphic lambda-calculus: introduction / John C Reynolds		Logical foundations of functional programming	Gérard Huet	1990	Addison-Wesley, Addison-Wesley Pub (Sd)
Strong Normalization of Second Order Symmetric Lambda-mu Calculus	Yoriyuki Yamagata	Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings	Naoki Kobayashi; Benjamin C. Pierce	2001	Springer Berlin Heidelberg
First-Order Constrained Lambda Calculus	John N. Crossley; Luis Mandel; Martin Wirsing	Frontiers of Combining Systems: First International Workshop, Munich, March 1996	F. Baader; K.U. Schulz	1996	Springer Netherlands
Extending pruning techniques to polymorphic second order λ-calculus	Luca Boerio	Programming Languages and Systems - ESOP ' 94: 5th European Symposium on Programming, Edinburgh, U. K. , April 11 - 13, 1994. Proceedings	Donald Sannella	1994	Springer Berlin Heidelberg
Counterpart Semantics for a Second-Order μ-Calculus	Fabio Gadducci; Alberto Lluch Lafuente; Andrea Vandin	Graph Transformations: 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings	Hartmut Ehrig; Arend Rensink; Grzegorz Rozenberg; Andy Schürr	2010	Springer Berlin Heidelberg
Relational Parametricity for a Polymorphic Linear Lambda Calculus	Jianzhou Zhao; Qi Zhang; Steve Zdancewic	Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings	Kazunori Ueda	2010	Springer Berlin Heidelberg
A New Model Construction for the Polymorphic Lambda Calculus	Dieter Spreen	Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings	Michel Parigot; Andrei Voronkov	2000	Springer Berlin Heidelberg
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy \(\lambda \mu \) -Calculus	James Laird	Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings	Jean Goubault-Larrecq; Barbara König	1st ed. 2020	Springer International Publishing
Lambda Calculus	Erwin Engeler	Foundations of Mathematics: Questions of Analysis, Geometry & Algorithmics	Erwin Engeler	1993	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"The semantics of second order polymorphic lambda calculus" - similar Books and Chapters