Modular Denotational Semantics for Compiler Construction (1996)

Cached

Download Links

by Sheng Liang , Paul Hudak
Venue:In European Symposium on Programming
Citations:55 - 4 self

Active Bibliography

Modular Monadic Semantics – Sheng Liang, Paul Hudak
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
10 Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. – Luc Duponcheel - 1995
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
35 Semantic Lego – David Espinosa - 1995
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
Languages – Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. D. S. Oliveira
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
12 Monads for Natural Language Semantics – Chung-Chieh Shan
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
12 An Automatically Generated and Provably Correct Compiler for a Subset of Ada – Jens Palsberg - 1992
5 Compiling Actions by Partial Evaluation, Revisited – Olivier Danvy, Olivier Danvy, Morten Rhiger, Morten Rhiger - 1998
14 Generating Action Compilers by Partial Evaluation – Anders Bondorf, Jens Palsberg - 1996
26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991