Sold Out
Book Categories |
Extended static checking for Java | 1 | |
Constructing polymorphic programs with quotient types | 2 | |
Optimizing generic functions | 16 | |
Inferring type isomorphisms generically | 32 | |
Friends need a bit more : maintaining invariants over shared state | 54 | |
Chasing bottoms - a case study in program verification in the presence of partial and infinite values | 85 | |
Describing gen/kill static analysis techniques with Kleene algebra | 110 | |
A free construction of Kleene algebras with tests | 129 | |
Streaming representation-changers | 142 | |
Probabilistic predicative programming | 169 | |
An algebra of scans | 186 | |
Compiling exceptions correctly | 211 | |
Modelling nondeterminism | 228 | |
Lazy Kleene algebra | 252 | |
Augmenting types with unbounded demonic and angelic nondeterminacy | 274 | |
An injective language for reversible computation | 289 | |
Prototyping generic programming in template Haskell | 314 | |
Transposing relations : from maybe functions to hash tables | 334 | |
Pointer theory and weakest preconditions without addresses and heap | 357 | |
Travelling processes | 381 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionMathematics of Program Construction
X
This Item is in Your InventoryMathematics of Program Construction
X
You must be logged in to review the productsX
X
X
Add Mathematics of Program Construction, , Mathematics of Program Construction to the inventory that you are selling on WonderClubX
X
Add Mathematics of Program Construction, , Mathematics of Program Construction to your collection on WonderClub |