Languages of the future
- 23 October 2004
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 116-119
- https://doi.org/10.1145/1028664.1028711
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- An extension of HM(X) with bounded existential and universal data-typesACM SIGPLAN Notices, 2003
- ML FACM SIGPLAN Notices, 2003
- Closed types for a safe imperative MetaMLJournal of Functional Programming, 2003
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Template meta-programming for HaskellPublished by Association for Computing Machinery (ACM) ,2002
- MetaML and multi-stage programming with explicit annotationsTheoretical Computer Science, 2000
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- System Description: Twelf — A Meta-Logical Framework for Deductive SystemsPublished by Springer Nature ,1999
- Eliminating array bound checking through dependent typesACM SIGPLAN Notices, 1998
- Trust in the λ-calculusJournal of Functional Programming, 1997