Higher-order abstract syntax

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Higher-order abstract syntax: setting the record straight

Full text

Pdf (124 KB)

Source

ACM SIGACT News archive
Volume 37 , Issue 3 (September 2006) table of contents

COLUMN: Logic: SIGACT news logic column 16 table of contents

Pages: 93 - 96

Year of Publication: 2006

ISSN:0163-5700

Authors

Karl Crary	Carnegie Mellon University
Robert Harper	Carnegie Mellon University

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 14, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1165555.1165572 What is a DOI?

ABSTRACT

A recent SIGACT News Logic column, guest-written by James Cheney DOI = 10.1145/1107523.1107537, discussed nominal logic [1], an approach to abstract syntax with binding structure. In addition to providing a worthy tutorial on nominal logic, that column leveled five criticisms at higher-order abstract syntax, an alternative approach for dealing with binding structure in abstract syntax. We argue below that three of those criticisms are factually inaccurate, and the other two are misguided.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	[1] M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341-363, 2002.
	2	Robert Harper , Furio Honsell , Gordon Plotkin, A framework for defining logics, Journal of the ACM (JACM), v.40 n.1, p.143-184, Jan. 1993 [doi>10.1145/138027.138060]
	3	[3] Frank Pfenning and Carsten Schürmann. Twelf User's Guide, Version 1.4, 2002. Available electronically at http://www.cs.cmu.edu/~twelf.