Matches in UGent Biblio for { <https://biblio.ugent.be/publication/3049079#aggregation> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- aggregation classification "C1".
- aggregation creator B95742.
- aggregation creator person.
- aggregation date "2012".
- aggregation format "application/pdf".
- aggregation hasFormat 3049079.bibtex.
- aggregation hasFormat 3049079.csv.
- aggregation hasFormat 3049079.dc.
- aggregation hasFormat 3049079.didl.
- aggregation hasFormat 3049079.doc.
- aggregation hasFormat 3049079.json.
- aggregation hasFormat 3049079.mets.
- aggregation hasFormat 3049079.mods.
- aggregation hasFormat 3049079.rdf.
- aggregation hasFormat 3049079.ris.
- aggregation hasFormat 3049079.txt.
- aggregation hasFormat 3049079.xls.
- aggregation hasFormat 3049079.yaml.
- aggregation isPartOf urn:isbn:9781450315760.
- aggregation language "eng".
- aggregation publisher "ACM".
- aggregation rights "I have transferred the copyright for this publication to the publisher".
- aggregation subject "Science General".
- aggregation title "Generic conversions of abstract syntax representations".
- aggregation 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.".
- aggregation authorList BK246346.
- aggregation endPage "68".
- aggregation startPage "57".
- aggregation aggregates 3049129.
- aggregation isDescribedBy 3049079.
- aggregation similarTo 2364394.2364403.
- aggregation similarTo LU-3049079.