Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Functional languages / Idris / Agda / Dependent type / Lisp / Lambda calculus / Scope / Type theory / Fold


Submission for IFL 2014 pre-proceedings Type-Directed Elaboration of Quasiquotations A High-Level Syntax for Low-Level Reflection David Raymond Christiansen IT University of Copenhagen
Add to Reading List

Document Date: 2015-03-04 15:20:42

Open Document

File Size: 196,38 KB

Share Result on Facebook

City

Lausanne / New York / Semantics / /

Company

MIT Press / Harvard University Press / Microsoft / /

Country

United States / /

/

Facility

Low-Level Reflection David Raymond Christiansen IT University / University of Edinburgh / /

IndustryTerm

potential solution / reification site / Potential solutions / search mechanism / /

Movie

W. v / /

Organization

Harvard University / United Nations / MIT / University of Edinburgh / Ecole polytechnique / Danish National Advanced Technology Foundation / University of Copenhagen / Type / /

Person

Robin Milner / Implementation / Edwin Brady / Denys Shabalin / Proof / Eugene Burmako / Idris Idris / David Raymond Christiansen / Quine / Peter Sestoft / /

Position

advisor / editor / assistant / General / /

ProgrammingLanguage

Haskell / Camlp4 / Lisp / Common Lisp / ML / K / Scala / /

ProvinceOrState

Utah / Illinois / New York / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Functional Programming / http / /

URL

www.cs.rice.edu/~taha/MetaOCaml / http /

SocialTag