Types for 0, 1 or many uses

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1467, Issue , 1998, Pages 112-122

  Mogensen, Torben Æ ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Constraints; Functional programming; Program analysis; Storage management; Types

Indexed keywords

STORAGE MANAGEMENT;

CALL-BY-NAME; COMPILE-TIME GARBAGE COLLECTION; CONSTRAINTS; FUNCTIONAL PROGRAMS; PROGRAM ANALYSIS; SINGLE-THREADED; TYPE-BASED ANALYSIS; TYPES;

FUNCTIONAL PROGRAMMING;

EID: 22444452798     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055427     Document Type: Conference Paper

References (10)

1. Erik Barendsen and Sjaak Smetsers. Uniqueness type inference. In PLILP'95, Utrecht, The Netherlands (Lecture Notes in Computer Science, vol. 982), pages 189-206. Springer-Verlag LNCS 982, 1995.
2. W.F. Dowling and J.H. Gallier. Linear-time algorithms for testing the satisfiability of propositional horn formulae. Journal of Logic Programming, 3: 267-284, 1984.
3. Thomas P. Jensen and Torben Æ. Mogensen. A backwards analysis for compiletime garbage collection. In ESOP '90, Copenhagen, Denmark (Lecture Notes in Computer Science, vol. 432), pages 227-239. Springer-Verlag LNCS 432, 1990.
4. Simon L. Peyton Jones and David Lester. Implementing Functional Languages. Prentice Hall Series in Computer Science. Prentice Hall, New York, London, Toronto, Syney, Tokyo, Signapore, 1 edition, 1992.
5. G. Kildall. A unified approach to global program optimization. In Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 194-206. ACM Press, January 1993.
6. M.J. Plasmeijer and M.C.J.D. van Eekelen. Concurrent clean 1.0 language report. Technical report, Computing Science Institute, University of Nijmegen, 1995.
7. Jakob Rehof and Torben Æ. Mogensen. Tractable constraints in finite semilattices. In R. Cousot and D.A. Sscmidt, editors, Third International Static Analysis Symposium (SAS), volume 1145 of Lecture Notes in Computer Science, pages 285-301. Springer, September 1996.
8. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft, and Peter Bertelsen. Programming with regions in the ML Kit. Technical report, Dept. of Computer Science, University of Copenhagen, 1997.
9. Mads Tofte and Jean-Pierre Talpin. Implementing the call-by-value lambda-calculus using a stack of regions. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, January 1994.
10. David N. Turner, Philip Wadler, and Christian Mossin. Once upon a type. In 1th International Conference on Functional Programming and Computer Architecture, pages 1-11, La Jolla, California, June 1995. ACM Press.