L.C. Paulson. ML for the working Programmer. Cambridge University Press, 1 edition, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
A Functional Language for Logarithmic Space - Neergaard (2004) (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
Extending the Relational Algebra with the Mapper Operator - Carreira, Lopes.. (2005) (Correct)
Head-Tactics Simplification - Bertot (1997) (Correct)
Compiling Standard ML to Java - An (Correct)
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000) (Correct)
How to Avoid the Formal Verification of a Theorem Prover - Avellone, Benini, Moscato (2001) (Correct)
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
MLj 0.2 User Guide - Nick Benton Andrew (1998) (6 citations) (Correct)
Formal verification of PowerPC arrays using symbolic.. - Pandey, Raimi.. (1997) (1 citation) (Correct)
SML.NET 1.1 User Guide - Andrew Kennedy Claudio (Correct)
CASL - The Common Algebraic Specification.. - Mossakowski.. (2003) (Correct)
A distributed, value-oriented XML Store - Thorn, Baumann, Fennestad (2002) (Correct)
CASL - The Common Algebraic Specification.. - Mossakowski.. (2003) (Correct)
The VLISP PreScheme Front End - Ramsdell, Farmer, Guttman, Monk.. (1992) (1 citation) (Correct)
MLJVM: A Java Virtual Machine implemented - In Standard Ml (Correct)
A Functional Language for Logarithmic Space - Neergaard (2004) (Correct)
Functional Design Using Behavioural and Structural Components - Sharp (2002) (Correct)
A Verified Compiler for VLISP PreScheme - Oliva, Ramsdell, Wand (1993) (Correct)
An Attempt to Automate NP-Hardness Reductions via SO∃ Logic - Nijjar (2004) (Correct)
Tool Support for Logics of Programs - Paulson (2002) Self-citation (Paulson) (Correct)
Foundations of Computer - Science Computer Science (2002) Self-citation (Paulson) (Correct)
Software Engineering II - Computer Science Tripos (2002) Self-citation (Paulson) (Correct)
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