Back to Results
First PageMeta Content



α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: 2012-08-10 19:21:16

Open Document

File Size: 503,44 KB

Share Result on Facebook

City

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

Company

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

Country

Netherlands / Sweden / France / Canada / /

/

Facility

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

IndustryTerm

car eqn / long car/cdr chains / nominal unification algorithm / /

Organization

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

Person

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

/

Position

editor / guard / Programming General / optional guard / writer / else guard / /

ProgrammingLanguage

Prolog / C / COMMON LISP / /

ProvinceOrState

New York / New Mexico / Massachusetts / /

PublishedMedium

Lecture Notes in Computer Science / /

RadioStation

RT-0701 / /

Technology

Functional Programming / nominal unification algorithm / /

SocialTag