Searched: Meta *ML[^A-Za-z]
Results from GPCE10 web
Abstract : Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its ...
Number of topics: 1
Results from GPCE11 web
Abstract : Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its ...
Number of topics: 1
Results from PEPM12 web
We are proud to present the following two invited talks: Markus P schel (ETH Z rich, Switzerland): Compiling Math to High Performance Code BR BR Abstract Extracting ...
Number of topics: 1
Results from Stratego web
By representing a strategy as a term, it can be passed around. This requires an EvalStrategy operator that evaluates such a term. This need not be a primitive; Problems ...
Since its always interesting to see how ideas develop, this page contains a reconstruction of the development of StrategoLanguage and its implementation. March 1997 ...
Number of topics: 2
Results from Transform web
Homepage: http://www.cse.ogi.edu/PacSoft/projects/metaml/ MetaML is an extension of SMLofNJ with MetaProgramming features that support the construction, manipulation ...
Staged Meta Programming Staged languages distinguish stages of execution. Many compile-time meta-programming systems distinguish only a run-time and a compile-time ...
http://www.smlnj.org/ Standard ML of New Jersey is a free Standard ML compiler, ported to many platforms. It does not directly compile to stand alone applications ...
http://web.cecs.pdx.edu/~sheard/staged.html An analysis of different kinds of MetaProgramming systems by TimSheard. Main.MaD 02 Jan 2008 CategoryPaper CategoryTaxonomy ...
Homepage: http://www.cse.ogi.edu/~sheard/ MetaML CategoryPeople
Homepage: http://www.cse.ogi.edu/~benaissa/ MetaML Stratego.StrategoLanguage CategoryPeople
Number of topics: 6