CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
1 research outputs found
Tagless staged interpreters for typed languages
Author
Augustsson Lennart
Barendregt Henk P.
+20Â more
Coquand Thierry
Dybjer Peter
Dybjer Peter
Dybjer Peter
Emir PašaliΕ
Gunter Carl A.
Harper Robert
Jones Neil D.
Mogensen Torben
Oregon Graduate Institute Technical Reports. P.O
Paulin-Mohring Christine
Pierce Benjamin C.
Pu Calton
Smaragdakis Yannis
Taha Walid
Taha Walid
Taha Walid
Tennent Robert D.
Tim Sheard
Walid Taha
Publication venue
'Association for Computing Machinery (ACM)'
Publication date
Field of study
No full text
Crossref