L.C. Paulson. ML for the working Programmer. Cambridge University Press, 1 edition, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Tool Support for Logics of Programs - Paulson (2002) Self-citation (Paulson) (Correct)
No context found.
Lawrence C. Paulson. ML for the Working Programmer. Cambridge University Press, 2nd edition, 1996.
Foundations of Computer - Science Computer Science (2002) Self-citation (Paulson) (Correct)
No context found.
Lawrence C. Paulson. ML for the Working Programmer. Cambridge University Press, 2nd edition, 1996.
Software Engineering II - Computer Science Tripos (2002) Self-citation (Paulson) (Correct)
No context found.
Lawrence C. Paulson. ML for the Working Programmer. Cambridge University Press, 2nd edition, 1996.
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
No context found.
L.C. Paulson. ML for the working Programmer. Cambridge University Press, 1 edition, 1991.
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
No context found.
L.C. Paulson, ML for the Working Programmer, Cambridge University Press, 1991.
A Functional Language for Logarithmic Space - Neergaard (2004) (Correct)
No context found.
L. C. Paulson. ML for the Working Programmer (2nd ed.). Cambridge University Press, 1996.
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
No context found.
Lawrence C. Paulson. ML for the working programmer. Cambridge University Press, 1991.
Extending the Relational Algebra with the Mapper Operator - Carreira, Lopes.. (2005) (Correct)
No context found.
L. C. Paulson. ML for the Working Programmer, 2nd Edition. Cambridge University Press, 1996. 28
Head-Tactics Simplification - Bertot (1997) (Correct)
No context found.
Lawrence C. Paulson. ML for the working programmer. Cambridge University Press, 1991.
Compiling Standard ML to Java - An (Correct)
No context found.
L. C. Paulson. ML for the Working Programmer. Cambridge University Press, second edition, 1996.
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000) (Correct)
No context found.
L. C. Paulson. ML for the working programmer. Cambridge Univ. Press, UK, 1991.
How to Avoid the Formal Verification of a Theorem Prover - Avellone, Benini, Moscato (2001) (Correct)
No context found.
L.C. Paulson. ML for the Working Programmer. Cambridge University Press, 2nd edition, 1996.
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
No context found.
Lawrence C. Paulson. ML for the Working Programmer. Cambridge University Press, 1991.
MLj 0.2 User Guide - Nick Benton Andrew (1998) (6 citations) (Correct)
No context found.
L. C. Paulson. ML for the Working Programmer. Cambridge University Press, second edition, 1996. 33
Formal verification of PowerPC arrays using symbolic.. - Pandey, Raimi.. (1997) (1 citation) (Correct)
No context found.
L. C. Paulson. ML for the Working Programmer. Cambridge Univ. Press, 1991.
SML.NET 1.1 User Guide - Andrew Kennedy Claudio (Correct)
No context found.
L. C. Paulson. ML for the Working Programmer. Cambridge University Press, second edition, 1996.
CASL - The Common Algebraic Specification.. - Mossakowski.. (2003) (Correct)
No context found.
L. Paulson. ML for the Working Programmer. Cambridge University Press, 1996. 2nd edition.
A distributed, value-oriented XML Store - Thorn, Baumann, Fennestad (2002) (Correct)
No context found.
L. C. Paulson. ML for the working programmer. Cambridge University Press, 2nd. edition, 1996.
CASL - The Common Algebraic Specification.. - Mossakowski.. (2003) (Correct)
No context found.
L. Paulson. ML for the Working Programmer. Cambridge University Press, 1996. 2nd edition.
The VLISP PreScheme Front End - Ramsdell, Farmer, Guttman, Monk.. (1992) (1 citation) (Correct)
No context found.
Laurence C. Paulson. ML for the Working Programmer. Cambridge University Press, Cambridge, Great Britain, 1991.
MLJVM: A Java Virtual Machine implemented - In Standard Ml (Correct)
No context found.
L.C. Paulson, ML for the Working Programmer, Second Edition, Cambridge University Press 1996.
A Functional Language for Logarithmic Space - Neergaard (2004) (Correct)
No context found.
L. C. Paulson. ML for the Working Programmer (2nd ed.). Cambridge University Press, 1996.
Functional Design Using Behavioural and Structural Components - Sharp (2002) (Correct)
No context found.
Paulson, L. ML for the working programmer. Cambridge University Press, 1996.
A Verified Compiler for VLISP PreScheme - Oliva, Ramsdell, Wand (1993) (Correct)
No context found.
Paulson, Laurence C. ML for the Working Programmer. Cambridge University Press, Cambridge, Great Britain (1991).
An Attempt to Automate NP-Hardness Reductions via SO∃ Logic - Nijjar (2004) (Correct)
No context found.
Lawrence C. Paulson. ML for the Working Programmer. Cambridge University Press, second edition, 1996.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC