Commentary on Standard ML:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass.[ u.a.]
MIT Press
1991
|
| Subjects: | |
| Physical Description: | 160 S. |
| ISBN: | 0262631377 0262132710 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004664916 | ||
| 003 | DE-604 | ||
| 005 | 20220303 | ||
| 007 | t | ||
| 008 | 920109s1991 |||| 00||| eng d | ||
| 020 | |a 0262631377 |9 0-262-63137-7 | ||
| 020 | |a 0262132710 |9 0-262-13271-0 | ||
| 035 | |a (OCoLC)22450825 | ||
| 035 | |a (DE-599)BVBBV004664916 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-20 |a DE-29T |a DE-384 |a DE-19 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.73.M6 | |
| 082 | 0 | |a 005.13/3 |2 20 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 315f |2 stub | ||
| 084 | |a DAT 364f |2 stub | ||
| 100 | 1 | |a Milner, Robin |d 1934-2010 |e Verfasser |0 (DE-588)128466081 |4 aut | |
| 245 | 1 | 0 | |a Commentary on Standard ML |c Robin Milner and Mads Tofte |
| 264 | 1 | |a Cambridge, Mass.[ u.a.] |b MIT Press |c 1991 | |
| 300 | |a 160 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Langages de programmation fonctionnelle |2 ram | |
| 650 | 4 | |a ML (Langage de programmation) | |
| 650 | 7 | |a ML |2 inriac | |
| 650 | 7 | |a langage fonctionnel |2 inriac | |
| 650 | 7 | |a sémantique langage |2 inriac | |
| 650 | 4 | |a ML (Computer program language) | |
| 650 | 0 | 7 | |a Standard ML |0 (DE-588)4295302-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Standard ML |0 (DE-588)4295302-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Tofte, Mads |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002865758 | ||
Record in the Search Index
| _version_ | 1804118783622643712 |
|---|---|
| any_adam_object | |
| author | Milner, Robin 1934-2010 Tofte, Mads |
| author_GND | (DE-588)128466081 |
| author_facet | Milner, Robin 1934-2010 Tofte, Mads |
| author_role | aut aut |
| author_sort | Milner, Robin 1934-2010 |
| author_variant | r m rm m t mt |
| building | Verbundindex |
| bvnumber | BV004664916 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.M6 |
| callnumber-search | QA76.73.M6 |
| callnumber-sort | QA 276.73 M6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 250 |
| classification_tum | DAT 315f DAT 364f |
| ctrlnum | (OCoLC)22450825 (DE-599)BVBBV004664916 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01435nam a2200445 c 4500</leader><controlfield tag="001">BV004664916</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220303 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920109s1991 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262631377</subfield><subfield code="9">0-262-63137-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262132710</subfield><subfield code="9">0-262-13271-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22450825</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004664916</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.M6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 364f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Milner, Robin</subfield><subfield code="d">1934-2010</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128466081</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Commentary on Standard ML</subfield><subfield code="c">Robin Milner and Mads Tofte</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.[ u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">160 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation fonctionnelle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ML (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ML</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage fonctionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ML (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Standard ML</subfield><subfield code="0">(DE-588)4295302-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Standard ML</subfield><subfield code="0">(DE-588)4295302-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tofte, Mads</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002865758</subfield></datafield></record></collection> |
| id | DE-604.BV004664916 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:15:47Z |
| institution | BVB |
| isbn | 0262631377 0262132710 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002865758 |
| oclc_num | 22450825 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-20 DE-29T DE-384 DE-19 DE-BY-UBM DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-20 DE-29T DE-384 DE-19 DE-BY-UBM DE-188 DE-706 |
| physical | 160 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Milner, Robin 1934-2010 Verfasser (DE-588)128466081 aut Commentary on Standard ML Robin Milner and Mads Tofte Cambridge, Mass.[ u.a.] MIT Press 1991 160 S. txt rdacontent n rdamedia nc rdacarrier Langages de programmation fonctionnelle ram ML (Langage de programmation) ML inriac langage fonctionnel inriac sémantique langage inriac ML (Computer program language) Standard ML (DE-588)4295302-9 gnd rswk-swf Standard ML (DE-588)4295302-9 s DE-604 Tofte, Mads Verfasser aut |
| spellingShingle | Milner, Robin 1934-2010 Tofte, Mads Commentary on Standard ML Langages de programmation fonctionnelle ram ML (Langage de programmation) ML inriac langage fonctionnel inriac sémantique langage inriac ML (Computer program language) Standard ML (DE-588)4295302-9 gnd |
| subject_GND | (DE-588)4295302-9 |
| title | Commentary on Standard ML |
| title_auth | Commentary on Standard ML |
| title_exact_search | Commentary on Standard ML |
| title_full | Commentary on Standard ML Robin Milner and Mads Tofte |
| title_fullStr | Commentary on Standard ML Robin Milner and Mads Tofte |
| title_full_unstemmed | Commentary on Standard ML Robin Milner and Mads Tofte |
| title_short | Commentary on Standard ML |
| title_sort | commentary on standard ml |
| topic | Langages de programmation fonctionnelle ram ML (Langage de programmation) ML inriac langage fonctionnel inriac sémantique langage inriac ML (Computer program language) Standard ML (DE-588)4295302-9 gnd |
| topic_facet | Langages de programmation fonctionnelle ML (Langage de programmation) ML langage fonctionnel sémantique langage ML (Computer program language) Standard ML |
| work_keys_str_mv | AT milnerrobin commentaryonstandardml AT toftemads commentaryonstandardml |