Practical Foundations for Programming Languages
| Main Author: | Robert Harper |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge University Press,
02/05/2013
|
| Edition: | 1 |
| Subjects: | |
| Online Access: | Full text available on Cambridge University Press Off-campus access |
Similar Items
-
Programming with Higher-Order Logic
by: Dale Miller, Gopalan Nadathur
Published: (2012) -
Nominal Sets
by: Andrew M. Pitts
Published: (2013) -
Pearls of Functional Algorithm Design
by: Richard Bird
Published: (2013) -
Transitions and Trees
by: Hans Hüttel
Published: (2012) -
An Introduction to Category Theory
by: Harold Simmons
Published: (2012)