Back to Results
First PageMeta Content
Type theory / Transformation languages / Procedural programming languages / Logic programming / Source code / Hygienic macro / Scheme / Prolog / Macro / Computing / Software engineering / Computer programming


A pattern matcher for miniKanren or How to get into trouble with CPS macros Andrew W. Keep Michael D. Adams
Add to Reading List

Document Date: 2012-08-10 19:22:00

Open Document

File Size: 353,97 KB

Share Result on Facebook

City

London / /

Company

MIT Press / Cadence Research Systems / /

Country

United Kingdom / /

/

Facility

University of Chicago Technical Report TR-2006-06 / Keep Michael D. Adams Lindsey Kuper William E. Byrd Daniel P. Friedman Indiana University / /

IndustryTerm

syntax-rules solution / pattern processing / syntax-case solution / e-act / rules-based solution / /

Organization

University of Chicago Technical Report TR-2006-06 / Indiana University / Bloomington / California Polytechnic State University / MIT / /

Person

E. Byrd Daniel / Daniel P. Friedman / Andrew W. Keep Michael / William E. Byrd / /

Position

miniKanren programmer / programmer / /

ProgrammingLanguage

Prolog / /

Technology

Functional Programming / /

SocialTag