H ? « ‹ ← → › »

Language peer sets for MetaML:
United States↑
United States/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

MetaML(ID:3652/met015)

alternate simple view
Country: United States
Designed 1997

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.
Related languages
CRML → MetaML   Evolution of
References:
  • (1997) Walid Taha and Tim Sheard MetaML and Multi-State Programming with Explicit Annotations pdf
          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.
  • Sheard, Tim Using MetaML: A Staged Programming La (1998) Sheard, Tim Using MetaML: A Staged Programming Language. pp207-239
          in (1998) Advanced Functional Programming 1998
  • Benaissa, Zine-El-Abidine; Moggi, Eugenio; Taha, W (1999) Benaissa, Zine-El-Abidine; Moggi, Eugenio; Taha, Walid and Sheard Tim "An Idealized MetaML: simpler, and more expressive" pdf
          in (1999) European Symposium On Programming (ESOP'99), Lecture Notes in Computer Science
  • Jeffrey Lewis, Mark Shields, Erik Meijer, John Lau (2000) Jeffrey Lewis, Mark Shields, Erik Meijer, John Launchbury "Implicit Parameters: Dynamic Scoping with Static Types" ps
          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
  • Taha, Walid (2000) Taha, Walid "A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial" pdf
          in [Proceedings] (2000) Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00), Boston, January, 2000.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder