| 000 | 01163cam a2200313 i 4500 | ||
|---|---|---|---|
| 001 | u151215 | ||
| 003 | SIRSI | ||
| 005 | 20240619145438.0 | ||
| 008 | 090105s2009 maua b 001 0 eng | ||
| 020 | _a9780262062756 | ||
| 020 | _a0262062755 | ||
| 050 | 0 | 0 |
_aQA76.73.R227 _b.F44 2009 |
| 100 | 1 |
_aFelleisen, Matthias. , _eauthor _977211 |
|
| 245 | 1 | 0 |
_aSemantics engineering with PLT Redex / _cMatthias Felleisen, Robert Bruce Findler, Matthew Flatt. |
| 264 | 1 |
_aCambridge, MA : _bMIT Press, _c2009. |
|
| 300 |
_axii, 502 pages : _billustrations ; _c24 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 596 | _a1 3 | ||
| 650 | 0 |
_aRedex (Computer program language). _977212 |
|
| 650 | 0 |
_aDomain-specific programming languages. _977213 |
|
| 650 | 0 |
_aProgramming languages (Electronic computers) _xSemantics. _91627 |
|
| 700 | 1 |
_aFindler, Robert Bruce. _977214 |
|
| 700 | 1 |
_aFlatt, Matthew. _977215 |
|
| 907 |
_a.b10259673 _b07-11-22 _c12-09-18 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _gmau _h0 |
||
| 999 |
_c17345 _d17345 |
||