Back to Results
First PageMeta Content
Lambda calculus / Control flow / Eval / Scheme / Env / Constraint logic programming / Combinatory logic / LG enV / Quasigroup / Computing / Mathematics / Theoretical computer science


miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk
Add to Reading List

Document Date: 2013-12-02 09:17:10


Open Document

File Size: 373,39 KB

Share Result on Facebook

City

Montreal / Baltimore / New York / Albuquerque / Nancy / /

Company

Cambridge University Press / MIT Press / ACM Press / McGraw-Hill / /

Country

Netherlands / France / Canada / /

/

Event

Product Issues / Product Recall / /

Facility

Indiana University / University of Chicago Technical Report TR-2006-06 / /

IndustryTerm

car env / list processing / procedure applications / tagging procedure applications / /

Organization

Cambridge University / William E. Byrd Eric Holk Daniel P. Friedman School of Informatics and Computing / MIT / University of Chicago Technical Report TR-2006-06 / Indiana University / Bloomington / Universite Laval / /

Person

Mitchell Wand / Claire Alvis / Leo Broukhis / Willard van Orman Quine / Daniel P. Friedman / Landon Curt Noll / Simon Cooper / Chris Okasaki / William E. Byrd / Eugenio Moggi / Stuart Halloway / Cameron Swords / Hendrik Pieter Barendregt / Aaron Todd / Jeremiah J. Willcock / Ralf Hinze / Steve Ganz / Philip Wadler / Kyle M. Carter / Jason Hemann / Douglas R. Hofstadter / Oleg Kiselyov / Walid Taha / Douglas Hofstadter / Hartley Rogers / Jr. / Manuel Hermenegildo / Gary P. Thompson II / /

/

Position

extended interpreter / editor / guard / Programming General / A. An Extended Interpreter / simple interpreter / dmatch guard / extended relational interpreter / relational interpreter / interpreter / miniKanren interpreter / standard environment-passing interpreter / fully relational interpreter / Scheme interpreter / standard environmentpassing interpreter / /

Product

fail / LG EnV2 Cellular Phone / /

ProgrammingLanguage

Lambda Calculus / C / /

ProvinceOrState

New York / New Mexico / Massachusetts / /

PublishedMedium

Lecture Notes in Computer Science / /

RadioStation

RT-0701 / /

Technology

Functional Programming / little-endian / http / /

URL

http /

SocialTag