Functional pearls
FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 623-633
-
- Article
-
- You have access
- Export citation
Article
Linearization of the lambda-calculus and its relation with intersection type systems
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 519-546
-
- Article
-
- You have access
- Export citation
Book review
An Introduction to Computing with Haskell by Manuel M. T. Chakravarty and Gabrielle C. Keller, Pearson SprintPrint, 2002, ISBN 1 74009 404 2. Price $AU 39.95, Pp. 150
-
- Published online by Cambridge University Press:
- 22 January 2004, pp. 247-249
-
- Article
-
- You have access
- Export citation
Call For Papers
Special issue on “Programming Language Technologies for XML”
-
- Published online by Cambridge University Press:
- 07 June 2004, p. 473
-
- Article
-
- You have access
- Export citation
EDUCATIONAL PEARL
The risks and benefits of teaching purely functional programming in first year
-
- Published online by Cambridge University Press:
- 14 January 2004, pp. 113-123
-
- Article
-
- You have access
- Export citation
Book review
Practical Aspects of Declarative Languages, Shriram Krishnamurthi and C. R. Ramakrishnan (eds.), LNCS 2257, Springer-Verlag, 2002. ISBN 3-540-43092-X Price £31.50, pp. 359
-
- Published online by Cambridge University Press:
- 22 January 2004, pp. 249-251
-
- Article
-
- You have access
- Export citation
Functional pearls
FUNCTIONAL PEARL Parsing permutation phrases
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 635-646
-
- Article
-
- You have access
- Export citation
Article
Two-level types and parameterized modules
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 547-587
-
- Article
-
- You have access
- Export citation
Book Review
Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 588-589
-
- Article
-
- You have access
- Export citation
Proof, Language and Interaction, Essays in Honour of Robin Milner eds Gordon Plotkin, Colin Sterling, Mads Tofte, Foundations of Computing Series, MIT Press 2000
-
- Published online by Cambridge University Press:
- 14 January 2004, pp. 125-128
-
- Article
-
- You have access
- Export citation
Functional pearls
FUNCTIONAL PEARL Functional satisfaction
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 647-656
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Concurrent distinct choices
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 657-668
-
- Article
-
- You have access
- Export citation
Book Review
Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003, ISBN 0-387-95391-4
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 589-592
-
- Article
-
- You have access
- Export citation
Functional pearls
FUNCTIONAL PEARL Functional chart parsing of context-free grammars
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 669-680
-
- Article
-
- You have access
- Export citation
Book Review
Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 592-594
-
- Article
-
- You have access
- Export citation
Functional pearls
FUNCTIONAL PEARL Type-safe cast
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 681-695
-
- Article
-
- You have access
- Export citation
Book Review
The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003, ISBN 1-4039-0772-2 (HB), 0-333-99285-7 (SB)
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 594-597
-
- Article
-
- You have access
- Export citation
Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002, ISBN 0387953493
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 597-598
-
- Article
-
- You have access
- Export citation
Functional pearls
FUNCTIONAL PEARL Derivation of a logarithmic time carry lookahead addition circuit
-
- Published online by Cambridge University Press:
- 27 October 2004, pp. 697-713
-
- Article
-
- You have access
- Export citation
Book Review
Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004
-
- Published online by Cambridge University Press:
- 06 August 2004, pp. 598-600
-
- Article
-
- You have access
- Export citation