Language peer sets for MetaML:
Designed 1997 ↑
1990s languages ↑
MetaML(ID:3652/met015)alternate simple view
Country: United States
Tim Sheard, Walid Taha, Zino Benaissa, and Emir Pasalic
The OGI Mustang (Multi-stage programming) Project
Program generation is a powerful tool for enhancing the software developement process. Higher-order, typed programming languages, such as SML and Haskell, offer the user advanced abstraction mechanisms in the context of a typed system. Programmers can use type systems to guarantee many important properties of their programs.
The Mustang Project uses higher-order, typed programming langauges that provide special support the construction, manipulation, and execution of code. We call such languages meta-languages. We are actively investigating both theoretical and applied aspects of such languages.
in [PESBPM 1997] (1997) The Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation. Amsterdam, The Netherlands, June 12-13, 1997.
in (1998) Advanced Functional Programming 1998
in (1999) European Symposium On Programming (ESOP'99), Lecture Notes in Computer Science
in [POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000
in [Proceedings] (2000) Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00), Boston, January, 2000.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder