References

Alf94

Thorsten Altenkirch, Veronica Gaspes, Bengt Nordström, and Björn von Sydow.
A user's guide to ALF.
Department of Computing Science, University of Göteborg/Chalmers, http://www.cs.chalmers.se/Cs/Research/Logic/alf/guide.html, May 1994.

Coq92

Thierry Coquand.
Pattern matching with dependent types.
(to be updated), 1992.

Coq93

Thierry Coquand.
Infinite objects in type theory.
In Henry Barendregt and Tobias Nipkow, editors, Types for Proofs and Programs (TYPES '93), volume 806 of Lecture Notes in Computer Science, pages 62-78. Springer-Verlag, 1993.

TTu97b

Alastair Telford and David Turner.
Ensuring Streams Flow.
In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney Australia, December 1997, volume 1349 of Lecture Notes in Computer Science, pages 509-523. AMAST, Springer-Verlag, December 1997.

TTu98b

Alastair Telford and David Turner.
Guarded Recursion in ESFP.
Submitted to TYPES '98 proceedings, 1998.