|
|
|
|
LEADER |
00834nam a2200217 a 4500 |
001 |
692902 |
005 |
20171111230459.0 |
008 |
140428s2009 maua b 001 0 eng d |
020 |
|
|
|a 9780262062756
|
082 |
0 |
4 |
|2 23
|a 005.11
|
100 |
1 |
|
|a Felleisen, Matthias
|
245 |
1 |
0 |
|a Semantics engineering with PLT Redex /
|c Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
|
260 |
|
|
|a Cambridge, Mass. :
|b MIT Press,
|c c2009
|
300 |
|
|
|a xii, 502 p. :
|b ill. ;
|c 24 cm
|
504 |
|
|
|a Includes bibliographical references and index
|
650 |
|
0 |
|a Redex (Computer program language)
|
650 |
|
0 |
|a Domain-specific programming languages
|
650 |
|
0 |
|a Programming languages (Electronic computers)
|x Semantics
|
700 |
1 |
|
|a Findler, Robert Bruce
|
700 |
1 |
|
|a Flatt, Matthew
|
952 |
|
|
|a GR-ThIHU
|b 59cc1fbf6c5ad13446f867c5
|c 998a
|d 945l
|e 005.11 FEL
|t 1
|x m
|z Books
|