Practical Foundations for Programming Languages
| Հիմնական հեղինակ: | Robert Harper |
|---|---|
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Cambridge University Press,
02/05/2013
|
| Հրատարակություն: | 1 |
| Խորագրեր: | |
| Առցանց հասանելիություն: | Full text available on Cambridge University Press Off-campus access |
Նմանատիպ նյութեր
-
Programming with Higher-Order Logic
: Dale Miller, Gopalan Nadathur
Հրապարակվել է: (2012) -
Nominal Sets
: Andrew M. Pitts
Հրապարակվել է: (2013) -
Pearls of Functional Algorithm Design
: Richard Bird
Հրապարակվել է: (2013) -
Transitions and Trees
: Hans Hüttel
Հրապարակվել է: (2012) -
An Introduction to Category Theory
: Harold Simmons
Հրապարակվել է: (2012)