Meta-programming with Built-in Type Equality (Extended Abstract) (2004)
by
Tim Sheard
,
Emir Pasalic
| Citations: | 15 - 2 self |
BibTeX
@MISC{Sheard04meta-programmingwith,
author = {Tim Sheard and Emir Pasalic},
title = {Meta-programming with Built-in Type Equality (Extended Abstract)},
year = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Tim Sheard sheard@cse.ogi.edu Emir Pasalic + pasalic@cse.ogi.edu ABSTRACT We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language##ngu .##209 is intended as both a practical programming language and a logic. The main goal of##102 is to allow programmers to describe and reason about semantic properties of programs from within the programming language itself, mainly by using a powerful type system.
