User loginNavigation |
archivesReflective Program Generation with PatternsReflective Program Generation with Patterns. Manuel Fähndrich, Michael Carbin, James R. Larus. October 2006.
Macros, multi-staged programming etc. are the appropriate buzzowrds. LtU readers will probably be interested in the STM example (see sec. 7.1) By Ehud Lamm at 2006-08-30 07:33 | Meta-Programming | Software Engineering | login or register to post comments | other blogs | 6416 reads
Gradual Typing for Functional LanguagesGradual Typing for Functional Languages
In other news, the Holy Grail has been found. Film at 11. This piece of genius is the combined work of Jeremy Siek, of Boost fame, and Walid Taha, of MetaOCaml fame. The formalization of their work in Isabelle/Isar can be found here. I found this while tracking down the relocated Concoqtion paper. In that process, I also found Jeremy Siek's other new papers, including his "Semantic Analysis of C++ Templates" and "Concepts: Linguistic Support for Generic Programming in C++." Just visit Siek's home page and read all of his new papers, each of which is worth a story here. By Paul Snively at 2006-08-30 17:49 | Functional | Implementation | Lambda Calculus | Semantics | Type Theory | 18 comments | other blogs | 37046 reads
|
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 3 days ago
51 weeks 3 days ago