3 results
Efficient parallel and incremental parsing of practical context-free languages
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 23 July 2015, e10
-
- Article
-
- You have access
- Export citation
Proofs for free: Parametricity for dependent types
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 2 / March 2012
- Published online by Cambridge University Press:
- 30 March 2012, pp. 107-152
-
- Article
-
- You have access
- Export citation
Generic programming with C++ concepts and Haskell type classes—a comparison
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 3-4 / July 2010
- Published online by Cambridge University Press:
- 29 September 2010, pp. 271-302
-
- Article
-
- You have access
- Export citation