Practical Foundations for Programming Languages | Modern Compiler Implementation In Ml | Advanced Topics In Types And Programming Languages | Certified Programming With Dependent Types | Types and Programming Languages | Purely Functional Data Structures | Ml for the Working Programmer
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.