MetaML and multi-stage programming with explicit annotations

By Walid Taha, T. Sheard. Theoretical Computer Science, 2000

349 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (2010, background): “Achieving performance, on the other hand, demands concretizing con.gurations and specializing code to its particular environment.”
Dynamic type inference for gradual Hindley–Milner typing (2018, background): “…⟨⟩ (without information on the static type of the code as is typical in type systems for staged computation [Davies 1996; Davies and Pfenning 2001; Kim et al. 2006; Taha and Nielsen 2003; Taha and Sheard 2000; Tsukada and Igarashi 2010]) and they are typechecked only when it is executed by eval.”
Guarded recursive datatype constructors (2003, methodology): “MetaML and multi-stage programming with explicit annotations.”
Flask (2008, background): “Second, for one to have any hope of running functional programs on such resource constrained devices, it is clear that the code that runs on the sensor network hardware and the code that expresses the reactive part of programs must be separately staged (Taha 1999; Taha and Sheard 2000).”