Volume 17; Issue 2

Journal of Functional Programming

Volume 17; Issue 2

1

An extended comparative study of language support for generic programming

GARCIA, RONALD, JARVI, JAAKKO, LUMSDAINE, ANDREW, SIEK, JEREMY, WILLCOCK, JEREMIAH

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 403 KB

english, 2007

2

Type sharing constraints and undecidability

NARBEL, PHILIPPE

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 139 KB

english, 2007

3

Dependent ML An approach to practical programming with dependent types

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 496 KB

english, 2007