Recursion over Objects of Functional Type (1999)
by
Joëlle Despeyroux
,
Pierre Leleu
| Citations: | 14 - 0 self |
BibTeX
@MISC{Despeyroux99recursionover,
author = {Joëlle Despeyroux and Pierre Leleu},
title = {Recursion over Objects of Functional Type},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents an extension of the simple-typed lambda-calculus allowing iteration and case...
