Substitution in non-wellfounded . . . (2003)

Cached

Download Links

by Ralph Matthes , Tarmo Uustalu
Venue:ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 82 NO. 1 (2003)

Active Bibliography

8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
6 Dependently Typed Programming with Domain-Specific Logics – Daniel R. Licata, Robert Harper - 2008
21 Focusing on binding and computation – Daniel R. Licata, Noam Zeilberger, Robert Harper - 2008
Languages, Theory – Neil Ghani, Tarmo Uustalu
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
Foundations and Applications of Higher-Dimensional Directed Type Theory – n.n.
Foundations and Applications of Higher-Dimensional Directed Type Theory – Robert Harper, Daniel R. Licata
17 A Universe of Binding and Computation – Daniel R. Licata, Robert Harper
2 2-Dimensional Directed Type Theory – Daniel R. Licata, Robert Harper
4 Modules over Monads and Linearity – André Hirschowitz, Marco Maggesi
11 Programming With Types – Stephanie Claudene Weirich - 2002
α-Conversion Is Easy – Thorsten Altenkirch
5 A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle – A. Momigliano, S. J. Ambler, R. L. Crole - 2001
11 Efficient Generalized Folds – Ralf Hinze - 1999
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
106 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000