list | abstracts | bib ]

Modular Language Specifications in Haskell

paper pdf    paper ps   


We propose a framework for specification of programming language semantics, abstract and concrete syntax, and lexical structure. The framework is based on Modular Monadic Semantics and allows independent specification of various language features. Features such as arithmetics, conditionals, exceptions, state and nondeterminism can be freely combined into working interpreters, facilitating experiments in language design. A prototype implementation of this system in Haskell is described and possibilities for more sophisticated interpreter generator are outlined.


Mirjana Ivanović and Viktor Kuncak. Modular language specifications in Haskell. In Theoretical Aspects of Computer Science with practical application, September 2000.

BibTex Entry

  author = {Mirjana Ivanovi\'c and Viktor Kuncak},
  title = {Modular Language Specifications in {H}askell},
  booktitle = {Theoretical Aspects of Computer Science 
                  with practical application},
  year = 2000,
  month = {September},
  localurl = {}

list | abstracts | bib ]