Unembedding domain-specific languages

Atkey, Robert and Lindley, Sam and Yallop, Jeremy; Weirich, Stephanie, ed. (2009) Unembedding domain-specific languages. In: Haskell '09 Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell. ACM Press, GBR, pp. 37-48. ISBN 978-1-60558-508-6 (https://doi.org/10.1145/1596638.1596644)

Abstract

Higher-order abstract syntax provides a convenient way of embedding domain-specific languages, but is awkward to analyse and manipulate directly. We explore the boundaries of higher-order abstract syntax. Our key tool is the unembedding of embedded terms as de Bruijn terms, enabling intensional analysis. As part of our solution we present techniques for separating the definition of an embedded program from its interpretation, giving modular extensions of the embedded language, and different ways to encode the types of the embedded language.

ORCID iDs

Atkey, Robert ORCID: https://orcid.org/0000-0002-4414-5047

• Share and Export
  

  ReferAtomJSONOpenURL ContextObject in SpanMPEG-21 DIDLRDF+XMLRDF+N-TriplesRefWorksHTML CitationEndNoteMultiline CSVRIS (EndNote Online, Zotero, Ref manager, etc)Data Cite XMLDublin CoreEP3 XMLASCII CitationRDF+N3METSSimple MetadataRIOXX2 XMLBibTeXOpenURL ContextObjectMODS
• Item metadata

  Item type:	Book Section
  ID code:	34487
  Dates:	Date Event 2009 Published
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	14 Nov 2011 10:20
  Last modified:	11 Nov 2024 14:45
  URI:	https://strathprints.strath.ac.uk/id/eprint/34487