Syntactic closure

Results: 3



#Item
1Logic / Mathematical logic / Philosophy / Formal epistemology / Modal logic / Artificial intelligence / Belief / Epistemic modal logic / Non-classical logic / Logic programming / Epistemic closure / FO

A Logic of Reasoning, Communication and Cooperation with Syntactic Knowledge Thomas ˚ Agotnes Michal Walicki

Add to Reading List

Source URL: folk.uib.no

Language: English - Date: 2006-10-10 15:15:32
2Transformation languages / Source code / Macro programming languages / Dylan programming language / Hygienic macro / Scheme programming language / Scheme / Macro / Syntactic closure / Computing / Software engineering / Computer programming

How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Oleg Kiselyov∗ Software Engineering, Naval Postgraduate School, Monterey, CA 93943 ,

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:29
3Transformation languages / Lisp programming language / Dylan programming language / Hygienic macro / Meta-programming / Scheme programming language / Scheme / Macro / Syntactic closure / Computing / Software engineering / Computer programming

Hygienic Macros Through Explicit Renaming William Clinger This paper describes an alternative to the low-level macro facility described in the Revised4 Report on the Algorithmic Language Scheme [1]. The facility describe

Add to Reading List

Source URL: mumble.net

Language: English - Date: 2007-04-13 03:04:06
UPDATE