![Type theory / Transformation languages / Procedural programming languages / Logic programming / Source code / Hygienic macro / Scheme / Prolog / Macro / Computing / Software engineering / Computer programming Type theory / Transformation languages / Procedural programming languages / Logic programming / Source code / Hygienic macro / Scheme / Prolog / Macro / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/47c1ffd2dfe185ea6ca65db0fde2a1e1.jpg)
| Document Date: 2012-08-10 19:22:00 Open Document File Size: 353,97 KBShare 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 |