Article
Calculating PSSM probabilities with lazy dynamic programming
-
- Published online by Cambridge University Press:
- 13 September 2005, pp. 75-81
-
- Article
-
- You have access
- Export citation
Phantom types and subtyping
-
- Published online by Cambridge University Press:
- 09 June 2006, pp. 751-791
-
- Article
-
- You have access
- Export citation
Pure type systems with judgemental equality
-
- Published online by Cambridge University Press:
- 28 October 2005, pp. 219-246
-
- Article
-
- You have access
- Export citation
Monadic regions
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 485-545
-
- Article
-
- You have access
- Export citation
Consistency of the theory of contexts
-
- Published online by Cambridge University Press:
- 25 October 2016, pp. 327-372
-
- Article
-
- You have access
- Export citation
Book Review
Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer Verlag, 2002
-
- Published online by Cambridge University Press:
- 31 January 2006, pp. 247-249
-
- Article
-
- You have access
- Export citation
Article
Featherweight generic confinement
-
- Published online by Cambridge University Press:
- 14 September 2006, pp. 793-811
-
- Article
-
- You have access
- Export citation
Multi-return function call
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 547-582
-
- Article
-
- You have access
- Export citation
Type-based confinement
-
- Published online by Cambridge University Press:
- 13 September 2005, pp. 83-128
-
- Article
-
- You have access
- Export citation
Slideshow: functional presentations
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 583-619
-
- Article
-
- You have access
- Export citation
Book Review
The Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck, King's College Publications, 2004, ISBN 0-9543006-9-6
-
- Published online by Cambridge University Press:
- 31 January 2006, pp. 249-250
-
- Article
-
- You have access
- Export citation
The Standard ML Basis Library by Emden R. Gansner and John H. Reppy, editors, Cambridge University Press, 2004, 406pp
-
- Published online by Cambridge University Press:
- 31 January 2006, pp. 250-251
-
- Article
-
- You have access
- Export citation
Article
Static analysis for path correctness of XML queries
-
- Published online by Cambridge University Press:
- 10 August 2006, pp. 621-661
-
- Article
-
- You have access
- Export citation