Books · Search
Computer programming · Computer programs
Principles of program analysis
1999
Functional programming languages · Computational linguistics
Two-level functional languages
2005
Ml (computer program language) · Functional programming (computer science)
ML with Concurrency
2011
Principles of Security and Trust
2019
Trustworthy Global Computing
2009
Computer algorithms · Verification
Type and effect systems
Semantics · Programming languages (Electronic computers)
Semantics with applications
2007
Functional programming (Computer science) · ML (Computer program language)
ML With Concurrency
1996
Programming languages (Electronic computers)
Theoretical aspects of semantics-based language implementation
1990
1992
Formal Methods
