Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

Cayenne : a language with dependent types / Lennart Augustsson

Main Author Augustsson, Lennart Corporate Author (Secondary) International Summer School on Advanced Functional Programming, 3 Braga, 1998
Universidade do Minho. Departamento de Informática Country Portugal. Publication Braga : Departamento de Informática da Universidade do Minho, 1998 Description [28] p. ; 21 cm CDU 519.68
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 47974 Available 251045
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.