Practical datatype specializations with phantom types and recursion schemes

Electronic Notes in Theoretical Computer Science

Volumn 148, Issue 2, 2006, Pages 211-237

  Fluet, Matthew ^a   Pucella, Riccardo ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

Data types and structures; Invariants

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES; PATTERN MATCHING;

DATA TYPES AND STRUCTURES; DATATYPE SPECIALIZATION; INVARIANTS;

DATA REDUCTION;

EID: 33644928437     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.11.046     Document Type: Conference Paper

References (28)

1. M. Blume No-Longer-Foreign: Teaching an ML compiler to speak C "natively" Proc. BABEL'01 Electronic Notes in Theoretical Computer Science 59 1 2001
2. F. Burton Type extension through polymorphism ACM Transactions on Programming Languages and Systems 12 1990 135 138
3. Davies, R., "Practical Refinement-Type Checking," Ph.D. thesis, School of Computer Science, Carnegie Mellon University (2005), available as Technical Report CMU-CS-05-110
4. Elliott, C., S. Finne and O. de Moor, Compiling embedded languages, in: Workshop on Semantics, Applications, and Implementation of Program Generation, 2000
5. M. Elsman, and K. Larsen Typing XHTML Web applications in ML Proc. 7th International Symposium on Practical Aspects of Declarative Languages (PADL'04) Lecture Notes in Computer Science 3350 2004 224 238
6. Finne, S., D. Leijen, E. Meijer and S. Peyton Jones, Calling hell from heaven and heaven from hell, in: Proc. 4th ACM SIGPLAN International Conference on Functional Programming (ICFP'99) (1999), pp. 114-125
7. Fluet, M. and R. Pucella, Phantom types and subtyping, in: Proc. 2nd IFIP International Conference on Theoretical Computer Science (TCS'02) (2002), pp. 448-460
8. Freeman, T., "Refinement types for ML," Ph.D. thesis, School of Computer Science, Carnegie Mellon University (1994), available as Technical Report CMU-CS-94-110
9. HaMLet http://www.ps.uni-sb.de/hamlet
10. F. Henglein Type inference with polymorphic recursion ACM Transactions on Programming Languages and Systems 15 1993 253 289
11. A. Kfoury, J. Tiuryn, and P. Urzyczyn Type reconstruction in the presence of polymorphic recursion ACM Transactions on Programming Languages and Systems 15 1993 290 311
12. Larsen, K. and H. Niss, mGTK: An SML binding of Gtk+, in: Proc. USENIX Annual Technical Conference, 2004, pp. 127-134
13. Leijen, D. and E. Meijer, Domain specific embedded compilers, in: Proc. 2nd Conference on Domain-Specific Languages (DSL'99), 1999, pp. 109-122
14. R. Milner A theory of type polymorphism in programming Journal of Computer and Systems Sciences 17 1978 348 375
15. R. Milner, M. Tofte, R. Harper, and D. MacQueen The Definition of Standard ML (Revised) 1997 MIT Press
16. ML Kit http://www.itu.dk/research/mlkit
17. MLton Standard ML compiler http://www.mlton.org
18. Moscow ML http://www.dina.dk/~sestoft/mosml.html
19. Pessaux, F. and X. Leroy, Type-based analysis of uncaught exceptions, in: Proc. 26th Annual ACM Symposium on Principles of Programming Languages (POPL'99) (1999), pp. 276-290
20. Poly/ML http://www.polyml.org
21. Ramsey, N., K. Fisher and P. Govereau, An expressive language of signatures, in: Proc. 10th ACM SIGPLAN International Conference on Functional Programming (ICFP'05) (2005)
22. Rémy, D., Records and variants as a natural extension of ML, in: Proc. 16th Annual ACM Symposium on Principles of Programming Languages (POPL'89) (1989), pp. 77-88
23. Reppy, J. H., A safe interface to sockets, Technical memorandum, AT&T Bell Laboratories (1996)
24. SML. NET compiler http://www.cl.cam.ac.uk/Research/TSG/SMLNET
25. Standard ML of New Jersey http://www.smlnj.org
26. P. Wadler Deforestation: Transforming programs to eliminate trees Theoretical Computer Science 73 1990 231 248
27. Wand, M., Complete type inference for simple objects, in: Proc. 2nd Annual IEEE Symposium on Logic in Computer Science (LICS'87), 1987
28. D.C. Wang, and T. Murphy VII Programming with recursion schemes available from http://www-2.cs.cmu.edu/~tom7/papers 2003