Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Pasalic, Emir - LogicBlox Inc.
Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference
Concoqtion: Indexed Types Now! Seth Fogarty
Tagless Staged Interpreters for Typed Languages Emir Pasalic
Implicitly Heterogeneous Multi-Stage Programming (Extended Version) 1 Implicitly Heterogeneous Multi-Stage Pro-
A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions
Meta-Programming with Typed Object-language Representations
J. Functional Programming 14 (5):547-587, September 2004 1 Two-Level Types and Parameterized Modules
Meta-programming With Built-in Type Tim Sheard and Emir Pasalic
AUTOMATED TRANSLATION OF LEGACY CODE FOR ATE Andrew Moran Jim Teisher Andrew Gill
DALI: An Untyped, CBV Functional Language Supporting First-Order Datatypes with Binders
The Role of Type Equality in Meta-programming
