Language peer sets for CRML:
Designed 1992 ↑
1990s languages ↑
CRML(ID:3650/crm001)alternate simple view
Country: United States
Compile-time Reflective ML
CRML is an implementation of compile-time reflection for a subset of ML built on top of the Standard ML of New Jersey compiler. Reflection is the "magic" that turns data into programs. Compile-time reflection allows user written functions to access data calculated during compilation to construct program representations. These representations are then transformed, by reflection, into the programs they represent. Essentially, compile-time reflection allows representations (data) calculated by compile-time evaluation to be type-checked and submitted to the compiler itself, to be turned into object code and integrated with the rest of the compiler's output.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder