nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
This paper proposes to use eye movements to characterize the performance of individuals in reviewing source code of computer programs. We first present an integrated environment t...