Searching for authors named "Emir Pasalic" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Two-Level Types and Parameterized Modules (Functional Pearls)
- …-Level Types and Parameterized Modules Tim Sheard and Emir Pasalic Pacific Software Research Center Oregon…
- Add To MetaCart
-
Two-level types and parameterized modules
- … Modules ∗ Tim Sheard and Emir Pasalic Pacific Software Research Center Oregon Graduate Institute {sheard…
- Cited by 4 (0 self) – Add To MetaCart
-
Concoqtion: indexed types now
- …Abstract Seth Fogarty Rice University sfogarty@(email omitted); Concoqtion: Indexed Types Now! ∗ Emir…
- Cited by 11 (0 self) – Add To MetaCart
-
Meta-programming with Built-in Type Equality (Extended Abstract)
- …@(email omitted); Emir Pasalic + OGI pasalic@(email omitted); ABSTRACT We report our experience with exploring a new point…
- Cited by 11 (1 self) – Add To MetaCart
-
DALI: An Untyped CBV Operational Semantics and Equational Theory for Datatypes with Binders (Technical Development)
- … (Technical Development) Emir Pasalic, Tim Sheard ? ,Walid Taha ?? Oregon Graduate Institute and Chalmers…
- Add To MetaCart
-
DALI: An Untyped, CBV Functional Language Supporting First-Order Datatypes with Binders
- …×��Ô �ÙÒ��� �Ý Ø�� ËÛ���×� Ê�×��Ö � �ÓÙÒ �Ð �ÓÖ �Ò��Ò��Ö�Ò� Ë ��Ò �× Ì�Ê �Ö�ÒØ ÒÙÑ��Ö �� � ËÙÑÑ�ÖÝ £ Emir…
- Cited by 8 (4 self) – Add To MetaCart
-
A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions
- …, Monterey, CA, USA oleg@(email omitted); Emir Pasalic Rice University, Houston, TX, USA pasalic…
- Cited by 1 (0 self) – Add To MetaCart
-
Tagless Staged Interpreters for Typed Languages
- …Tagless Staged Interpreters for Typed Languages Emir Pa sali c OGI School of Science…
- Cited by 33 (10 self) – Add To MetaCart
-
DSL Implementation Using Staging and Monads
- …DSL Implementation Using Staging and Monads Tim Sheard, Zine-el-abidine Benaissa, and Emir Pasalic…
- Cited by 12 (4 self) – Add To MetaCart
-
Implicitly Heterogeneous Multi-Stage Programming
- …Implicitly Heterogeneous Multi-Stage Programming ⋆ Jason Eckhardt, Roumen Kaiabachev, Emir Pa…
- Cited by 6 (1 self) – Add To MetaCart
Showing 1 through 10.
