The structure of typed programming languages
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:1648/TOC |
|---|---|
| Glavni autor: | Schmidt, David A. (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Cambridge, Mass. ; London :
The MIT Press [i.e.] Massachusetts Institute of Technology,
1994.
|
| Nakladnička cjelina: |
Foundations of computing
|
| Predmet: |
Sadržaj:
- programmnig lanuguage core abstraction principle qualification principle records lambda abstractions lambda calculus functional programming languages propositional-logic typing predicate-logic typing computing science computers