Writing Composable Software with InterpreterLib [chapter]

Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander
2009 Lecture Notes in Computer Science  
InterpreterLib is a Haskell library for building and composing modular syntactic and semantic definitions. We identify two forms of composition within this domain. Composition along syntax combines semantics for denoting differing term spaces to a common denotational domain. Composition along semantics combines semantics for denoting a common term space to differing domains. We demonstrate these composition mechanisms by applying InterpreterLib to examples and then relate our experiences with
more » ... terpreterLib implementing tools for the Rosetta language.
doi:10.1007/978-3-642-02655-3_12 fatcat:zifoctrvdvcezphqotnidowulq