Ghent University Academic Bibliography

Advanced

Generic conversions of abstract syntax representations

Steven Keuchel UGent and Johan Jeuring (2012) Proceedings of the 8th ACM SIGPLAN workshop on Generic programming. p.57-68
abstract
In this paper we present a datatype-generic approach to syntax with variable binding. A universe specifies the binding and scoping structure of object languages, including binders that bind multiple variables as well as sequential and recursive scoping. Two interpretations of the universe are given: one based on parametric higher-order abstract syntax and one on well-typed de Bruijn indices. The former provides convenient interfaces to embedded domain-specific languages, but is awkward to analyse and manipulate directly, while the latter is a convenient representation in implementations, but is unusable as a surface language. We show how to generically convert from the parametric HOAS interpretation to the de Bruijn interpretation thereby taking the pain from DSL developer to write the conversion themselves.
Please use this url to cite or link to this publication:
author
organization
year
type
conference
publication status
published
subject
keyword
abstract syntax, fixed points, datatype-generic programming
in
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
editor
Andres Löh and Ronald Garcia
pages
57 - 68
publisher
ACM
place of publication
New York, NY, USA
conference name
8th ACM SIGPLAN workshop on Generic Programming (WGP 2012)
conference location
Copenhagen, Denmark
conference start
2012-09-09
conference end
2012-09-09
ISBN
9781450315760
DOI
10.1145/2364394.2364403
language
English
UGent publication?
yes
classification
C1
copyright statement
I have transferred the copyright for this publication to the publisher
id
3049079
handle
http://hdl.handle.net/1854/LU-3049079
date created
2012-11-08 11:36:23
date last changed
2012-11-09 09:14:58
@inproceedings{3049079,
  abstract     = {In this paper we present a datatype-generic approach to syntax with variable binding. A universe specifies the binding and scoping structure of object languages, including binders that bind multiple variables as well as sequential and recursive scoping. Two interpretations of the universe are given: one based on parametric higher-order abstract syntax and one on well-typed de Bruijn indices. The former provides convenient interfaces to embedded domain-specific languages, but is awkward to analyse and manipulate directly, while the latter is a convenient representation in implementations, but is unusable as a surface language. We show how to generically convert from the parametric HOAS interpretation to the de Bruijn interpretation thereby taking the pain from DSL developer to write the conversion themselves.},
  author       = {Keuchel, Steven and Jeuring, Johan},
  booktitle    = {Proceedings of the 8th ACM SIGPLAN workshop on Generic programming},
  editor       = {L{\"o}h, Andres and Garcia, Ronald},
  isbn         = {9781450315760},
  keyword      = {abstract syntax,fixed points,datatype-generic programming},
  language     = {eng},
  location     = {Copenhagen, Denmark},
  pages        = {57--68},
  publisher    = {ACM},
  title        = {Generic conversions of abstract syntax representations},
  url          = {http://dx.doi.org/10.1145/2364394.2364403},
  year         = {2012},
}

Chicago
Keuchel, Steven, and Johan Jeuring. 2012. “Generic Conversions of Abstract Syntax Representations.” In Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming, ed. Andres Löh and Ronald Garcia, 57–68. New York, NY, USA: ACM.
APA
Keuchel, S., & Jeuring, J. (2012). Generic conversions of abstract syntax representations. In A. Löh & R. Garcia (Eds.), Proceedings of the 8th ACM SIGPLAN workshop on Generic programming (pp. 57–68). Presented at the 8th ACM SIGPLAN workshop on Generic Programming (WGP 2012), New York, NY, USA: ACM.
Vancouver
1.
Keuchel S, Jeuring J. Generic conversions of abstract syntax representations. In: Löh A, Garcia R, editors. Proceedings of the 8th ACM SIGPLAN workshop on Generic programming. New York, NY, USA: ACM; 2012. p. 57–68.
MLA
Keuchel, Steven, and Johan Jeuring. “Generic Conversions of Abstract Syntax Representations.” Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming. Ed. Andres Löh & Ronald Garcia. New York, NY, USA: ACM, 2012. 57–68. Print.