Customize

1. You can enlarge the whole site (character size and with) by using the browser function to change characters size.

2. To your right it is possible to change the character size, font, spacing, characters and letters as well as adjust the colours. This will have consequences for the appearance of the whole website design. It will effect all pages at the University  of Gothenburg's website. The changes will remain the next time you log in. (To save your changes the browser must allow cookies.)

*Changes has been made to the look of this website


  • Home
  • A simple type-theoretic language: Mini-TT

A simple type-theoretic language: Mini-TT

Sourcetitle: 
From Semantics to Computer Science : Essays in Honour of Gilles Kahn
Year of publication: 
2009
PublicationType: 
Chapter in monograph, book

This paper presents a formal description of a small functional language
with dependent types. The language contains data types, mutual recursive/
inductive definitions and a universe of small types. The syntax,
semantics and type system is specified in such a way that the implementation
of a parser, interpreter and type checker is straightforward.
The main difficulty is to design the conversion algorithm in such a way
that it works for open expressions. The paper ends with a complete
implementation in Haskell (around 400 lines of code).

http://dx.doi.org/10.1017/CBO9780511770524.007

Sourcepages: 
139-164
To the top

Page updated: 2012-01-30 14:01

Send as email
Print page
Show as pdf

X
Loading