Two-level functional languages:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
1992
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
34. |
| Schlagworte: | |
| Beschreibung: | XII, 299 S. |
| ISBN: | 0521403847 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006611571 | ||
| 003 | DE-604 | ||
| 005 | 20140808 | ||
| 007 | t | ||
| 008 | 930210s1992 |||| 00||| eng d | ||
| 020 | |a 0521403847 |9 0-521-40384-7 | ||
| 035 | |a (OCoLC)26506339 | ||
| 035 | |a (DE-599)BVBBV006611571 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.62 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 100 | 1 | |a Nielson, Flemming |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Two-level functional languages |c Flemming Nielson & Hanne Riis Nielson |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 1992 | |
| 300 | |a XII, 299 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 34. | |
| 650 | 7 | |a Functionele talen |2 gtt | |
| 650 | 7 | |a Lambda-calcul |2 ram | |
| 650 | 7 | |a Langages de programmation fonctionnelle |2 ram | |
| 650 | 7 | |a Programmation fonctionnelle (informatique) |2 ram | |
| 650 | 7 | |a génération code |2 inriac | |
| 650 | 7 | |a interprétation abstraite |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique combinatoire |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 4 | |a Functional programming languages | |
| 650 | 0 | 7 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 0 | 1 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Nielson, Hanne Riis |d 1954- |e Verfasser |0 (DE-588)120458241 |4 aut | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 34. |w (DE-604)BV000754528 |9 34 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004224262 | ||
Datensatz im Suchindex
| _version_ | 1804120887565221888 |
|---|---|
| any_adam_object | |
| author | Nielson, Flemming Nielson, Hanne Riis 1954- |
| author_GND | (DE-588)120458241 |
| author_facet | Nielson, Flemming Nielson, Hanne Riis 1954- |
| author_role | aut aut |
| author_sort | Nielson, Flemming |
| author_variant | f n fn h r n hr hrn |
| building | Verbundindex |
| bvnumber | BV006611571 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.62 |
| callnumber-search | QA76.62 |
| callnumber-sort | QA 276.62 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)26506339 (DE-599)BVBBV006611571 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01916nam a2200529 cb4500</leader><controlfield tag="001">BV006611571</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140808 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1992 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521403847</subfield><subfield code="9">0-521-40384-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26506339</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006611571</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.62</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nielson, Flemming</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Two-level functional languages</subfield><subfield code="c">Flemming Nielson & Hanne Riis Nielson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 299 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="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">34.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functionele talen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lambda-calcul</subfield><subfield code="2">ram</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="7"><subfield code="a">Programmation fonctionnelle (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">génération code</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interprétation abstraite</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming languages</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</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">Nielson, Hanne Riis</subfield><subfield code="d">1954-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120458241</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">34.</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">34</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004224262</subfield></datafield></record></collection> |
| id | DE-604.BV006611571 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:49:14Z |
| institution | BVB |
| isbn | 0521403847 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004224262 |
| oclc_num | 26506339 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-11 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-11 DE-188 |
| physical | XII, 299 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Nielson, Flemming Verfasser aut Two-level functional languages Flemming Nielson & Hanne Riis Nielson 1. publ. Cambridge Cambridge Univ. Press 1992 XII, 299 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 34. Functionele talen gtt Lambda-calcul ram Langages de programmation fonctionnelle ram Programmation fonctionnelle (informatique) ram génération code inriac interprétation abstraite inriac lambda calcul inriac logique combinatoire inriac théorie type inriac Functional programming languages Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 s Implementierung Informatik (DE-588)4026663-1 s DE-604 Nielson, Hanne Riis 1954- Verfasser (DE-588)120458241 aut Cambridge tracts in theoretical computer science 34. (DE-604)BV000754528 34 |
| spellingShingle | Nielson, Flemming Nielson, Hanne Riis 1954- Two-level functional languages Cambridge tracts in theoretical computer science Functionele talen gtt Lambda-calcul ram Langages de programmation fonctionnelle ram Programmation fonctionnelle (informatique) ram génération code inriac interprétation abstraite inriac lambda calcul inriac logique combinatoire inriac théorie type inriac Functional programming languages Implementierung Informatik (DE-588)4026663-1 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| subject_GND | (DE-588)4026663-1 (DE-588)4129948-6 |
| title | Two-level functional languages |
| title_auth | Two-level functional languages |
| title_exact_search | Two-level functional languages |
| title_full | Two-level functional languages Flemming Nielson & Hanne Riis Nielson |
| title_fullStr | Two-level functional languages Flemming Nielson & Hanne Riis Nielson |
| title_full_unstemmed | Two-level functional languages Flemming Nielson & Hanne Riis Nielson |
| title_short | Two-level functional languages |
| title_sort | two level functional languages |
| topic | Functionele talen gtt Lambda-calcul ram Langages de programmation fonctionnelle ram Programmation fonctionnelle (informatique) ram génération code inriac interprétation abstraite inriac lambda calcul inriac logique combinatoire inriac théorie type inriac Functional programming languages Implementierung Informatik (DE-588)4026663-1 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| topic_facet | Functionele talen Lambda-calcul Langages de programmation fonctionnelle Programmation fonctionnelle (informatique) génération code interprétation abstraite lambda calcul logique combinatoire théorie type Functional programming languages Implementierung Informatik Funktionale Programmiersprache |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT nielsonflemming twolevelfunctionallanguages AT nielsonhanneriis twolevelfunctionallanguages |