Do We Need Dependent Types? (2001)
by
Daniel Fridlender
,
Mia Indrika
| Venue: | JOURNAL OF FUNCTIONAL PROGRAMMING |
| Citations: | 14 - 1 self |
BibTeX
@ARTICLE{Fridlender01dowe,
author = {Daniel Fridlender and Mia Indrika},
title = {Do We Need Dependent Types?},
journal = {JOURNAL OF FUNCTIONAL PROGRAMMING},
year = {2001},
volume = {10},
pages = {409--415}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Inspired by [1], we describe a technique for defining, within the Hindley-Milner type system, some functions which seem to require a language with dependent types. We illustrate this by giving a general definition of zipWith for which the Haskell library provides a family of functions, each member of the family having a different type and arity. Our technique consists in introducing ad hoc codings for natural numbers which resemble numerals in #-calculus.
Citations
| 242 | Programming in Martin-Löf’s Type Theory. An Introduction - Nordström, Petersson, et al. - 1990 |
| 46 | Linear parametric model checking of timed automata - Hune, Romijn, et al. - 2001 |
| 40 | Functional unparsing - Danvy - 1998 |
| 5 | Alexey Zverovich. Traveling Salesman Should not be Greedy: Domination Analysis of Greedy-Type Heuristics for the TSP - Gutin, Yeo - 2001 |
| 5 | Efficient Guiding Towards Cost-Optimality in UPPAAL - Larsen, Romijn - 2001 |
| 5 | Tools and Algorithms for The Construction and Analysis of Systems - Hune, Larsen, et al. - 2001 |
| 4 | On the Number of Quasi-Kernels in Digraphs - Gutin, Koh, et al. - 2001 |
| 1 | Recent BRICS Report Series Publications RS-01-10 Daniel Fridlender and Mia Indrika. Do we Need Dependent Types - Brabrand, Mller, et al. - 2001 |
