Total Functional Programming (2004)

Cached

Download Links

by David Turner
Venue:Journal of Universal Computer Science
Citations:29 - 1 self

Active Bibliography

99 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
Theses Series DISI-TH-2003-XX – Luca Paolini, Université De La Méditerranée, Luca Paolini, G. Rosolini, Ext Reviewers, A. Bucciarelli, S. Ronchi, Della Rocca
7 Deterministic Concurrency – David Paul Carter - 1993
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
Compiling Lazy Functional Languages: An introduction – Thomas Johnsson - 1987
2 Applying Universal Algebra to Lambda Calculus – Giulio Manzonetto, Antonino Salibra - 2007
939 A theory of type polymorphism in programming – Robin Milner - 1978
2 Why sets? – Andreas Blass, Yuri Gurevich - 2008
Approved by: – R. Kent Dybvig, R. Kent Dybvig, R. Kent Dybvig - 1987
Higher-Order Charity – Mark A. Schroeder - 1997
43 Elementary strong functional programming – D. A. Turner, Canterbury Ct Nf - 1995
7 A modular type-checking algorithm for type theory with singleton types and proof irrelevance – Andreas Abel, Thierry Coquand, Miguel Pagano - 2009
3 HOLCF ’11: A Definitional Domain Theory for Verifying Functional Programs – Brian Charles Huffman, Mark Jones, Tim Sheard, Gerardo Lafferriere - 2012
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
Contents – unknown authors