Cost recurrences for DML programs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 10, 2001, Pages 253-264

  Grobauer, Bernd ^a,b  

^a AARHUS UNIVERSITY   (Denmark)

^b Aarhus Fire Department   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144366990     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/507669.507666     Document Type: Article

References (15)

1. Lennart Augustsson. Cayenne - a language with dependent types. In Paul Hudak and Christian Queinnec, editors, Proceedings of ICFP'98, pages 239-250, Baltimore, Maryland, September 1998. ACM Press.
2. Wei-Ngan Chin and Siau-Cheng Khoo. Calculating sized types. Higher-Order and Symbolic Computation, 14(2/3), 2001. To appear.
3. Karl Crary and Stefanie Weirich. Resource bound certification. In Thomas Reps, editor, Proceedings of POPL'00, pages 184-198, Boston Massachusetts, January 2000. ACM Press.
4. Andrzej Filinski. Representing monads. In Hans-J. Boehm, editor, Proceedings of POPL'94, pages 446-457, Portland, Oregon, January 1994. ACM Press.
5. Bernd Grobauer. Cost recurrences for DML programs. Technical Report RS-01-25, BRICS, Department of Computer Science, University of Aarhus, 2001.
6. Daniel Le Métayer. ACE: An automatic complexity evaluator. ACM Transactions on Programming Languages and Systems, 10(2):248-266, April 1988.
7. Yanhong Annie Liu and Gustavo Gómez. Automatic accurate time-bound analysis for high-level languages. In Frank Mueller and Azer Bestavros, editors, Proceedings of LCTES'98, number 1474 in LNCS, pages 31-40, Montréal, Canada, June 1998. Springer-Verlag.
8. Brian Reistad and David K. Gifford. Static dependent costs for estimating program execution time. In Carolyn L. Talcott, editor, Proceedings of LFP'94, LISP Pointers, Vol. VII, No. 3, Orlando, Florida, June 94. ACM Press.
9. Mads Rosendahl. Automatic complexity analysis. In Joseph E. Stoy, editor, Proceedings of FPCA'89, pages 144-156, London, September 1989. ACM Press.
10. Philip Wadler. The essence of functional programming. In Andrew W. Appel, editor, Proceedings of POPL'92, pages 1-14, Albuquerque, New Mexico, January 1992. ACM Press.
11. Hongwei Xi. de Caml. A prototype implementation of DML, based on Caml-light. Available from http://www.ececs.uc.edu/~hwxi/DML/DML.html.
12. Hongwei Xi. Dependent Types in Practical Programming. PhD thesis, Carnegie Mellon University, 1998.
13. Hongwei Xi. Dependently typed data structures. In Chris Okasaki, editor, Proceedings of WAAAPL'99, pages 17-32, Paris, September 1999. Available from http://www.cs.columbia.edu/~cdo/waaap199.pdf.
14. Hongwei Xi. Dependent types for program termination verification. In Proceedings of LICS'01, Boston, Massachusetts, June 2001. IEEE Computer Society Press.
15. Hongwei Xi and Frank Pfenning. Dependent types in practical programming. In Alex Aiken, editor, Proceedings of POPL'99, pages 214-227, San Antonio, Texas, January 1999. ACM Press.