by Flemming Nielson , Hanne Riis Nielson
No reviews yet. Be the first!
Principles of program analysis
ML with Concurrency
Principles of Security and Trust
Trustworthy Global Computing
Type and effect systems
Semantics with applications
Programming Scala
Trends in Functional Programming
KERNEL METHODS FOR PATTERN ANALYSIS
The best approximation method
Functional Programming Using F#
Theory of Computation