Total Functional Programming (2004)

Cached

Download Links

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

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
279 Regular Algebra and Finite Machines – J H Conway - 1971
13 A term calculus for (co-)recursive definitions on streamlike data structures – W Buchholz - 2005
83 Infinite Objects in Type Theory – Thierry Coquand
4 Pitts “A Co-induction Principle for Recursively Defined Domains – A M - 1994
10 On a hitherto unutilized extension of the finitary standpoint – K Gödel - 1958
99 An overview of Miranda – D A Turner - 1990
65 et al. Report on the programming language Haskell: a non-strict, purely functional language version 1.2 – P Hudak - 1992
75 a C program checker – Lint - 1978
65 Static Type Inference in a Dynamically Typed Language – Alexander Aiken, Brian R. Murphy - 1991
17 Walther Recursion – David Mcallester, Kostas Arkoudas - 1996
16 Type Specialisation for the lambda-calculus, or A New Paradigm for Partial Evaluation based on Type Inference – John Hughes
15 Ensuring Streams Flow – Alastair Telford, David Turner - 1997
121 Bisimilarity as a theory of functional programming – A D Gordon
9 A Unifying Approach to Recursive and Co-recursive Definitions – Pietro Di Gianantonio, Marino Miculan - 2002
7 Calcul de Constructions Infinies et son Application à la Vérification de Systèmes Communicants – Un - 1996
8 Making Choices Lazily – John Hughes, Andrew Moran - 1995
66 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987