Output details
11 - Computer Science and Informatics
University of St Andrews
Return to search
Output 0 of 0 in the submission
Article title
Ott : Effective tool support for the working semanticist
Type
D - Journal article
Title of journal
Journal of Functional Programming
Article number
-
Volume number
20
Issue number
01
First page of article
71
ISSN of journal
0956-7968
Year of publication
2010
URL
-
Number of additional authors
6
Additional information
<08>JFP is recognised as the premier journal for functional programming, its theory and applications in an archival form. This paper represents the design of a new metalanguage that can serve as the basis for translation into various proof assistant code. This is a key enabler for mechanized programming language metatheory, a field that has taken off in the last several years. Reflecting this, this is (as of Feb 2013) the 8th most-read paper of JFP. The paper expands a ICFP'07 paper by definitively settling the theoretical basis for binding analysis, andseveral new extended examples utilising that analysis.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming languages
Citation count
21
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
