Back to Results
First PageMeta Content
Models of computation / Admissible rule / Modal logic / Symbol / Lambda calculus / Unification / Structure / Mathematical logic / Mathematics / Logic


αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu
Add to Reading List

Document Date: 2013-12-02 09:16:22

Open Document

File Size: 206,75 KB

Share Result on Facebook

City

Albuquerque / Springer Verlag / Cambridge / Nancy / Saint-Malo / Uppsala / Montreal / Baltimore / /

Company

Olin / MIT Press / ACM Press / ACM SIGPLAN International / /

Country

France / Netherlands / Canada / Sweden / /

/

Facility

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

IndustryTerm

car eqn / nominal unification algorithm / /

Organization

University of Chicago Technical Report TR-2006-06 / Indiana University / Bloomington / Daniel P. Friedman Department of Computer Science / MIT / Cornell University / /

Person

Murdoch Gabbay / Henrik Nilsson / Danny Dub / Guy L. Steele Jr. / Roshan James / Murdoch J. Gabbay / Mark R. Shinwell / James Cheney / John Wylie Lloyd / Andrew M. Pitts / Joe Near / Ralf Hinze / Vladimir Lifschitz / L. Steele Jr / Daniel P. Friedman / Mitch Wand / Philip Wadler / William E. Byrd / Joseph E. Stoy / Amr Sabry / Matthew R. Lakin / Oleg Kiselyov / Eugenio Moggi / Draft Proceedings / Erik Hilsdale / Walid Taha / Michael Adams / Christian Urban / /

/

Position

editor / Programming General / writer / /

ProgrammingLanguage

Prolog / COMMON LISP / C / /

ProvinceOrState

New Mexico / New York / Massachusetts / /

PublishedMedium

Lecture Notes in Computer Science / /

RadioStation

RT-0701 / /

Technology

Functional Programming / nominal unification algorithm / /

SocialTag