Monadic Presentations of Lambda Terms Using Generalized Inductive Types
Authors:
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 453-468
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Extending the type checker of Standard ML by polymorphic recursionTheoretical Computer Science, 1999
- de Bruijn notation as a nested datatypeJournal of Functional Programming, 1999
- Nested datatypes1998
- Syntax and Semantics of Dependent Types1997
- Substitution: A formal methods case study using monads and transformationsScience of Computer Programming, 1994
- Inductive familiesFormal Aspects of Computing, 1994
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- Notions of computation and monadsInformation and Computation, 1991
- Algebraic Theories1976
- Categories for the Working Mathematician1971