Logical foundations of functional programming:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Reading, Mass. u.a.
Addison-Wesley
1990
|
| Schriftenreihe: | University of Texas at Austin year of programming series
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XVI, 491 S. |
| ISBN: | 0201172348 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004160597 | ||
| 003 | DE-604 | ||
| 005 | 20151209 | ||
| 007 | t | ||
| 008 | 901119s1990 |||| 10||| eng d | ||
| 020 | |a 0201172348 |9 0-201-17234-8 | ||
| 035 | |a (OCoLC)246866114 | ||
| 035 | |a (DE-599)BVBBV004160597 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-473 |a DE-739 |a DE-29T |a DE-19 |a DE-83 |a DE-188 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 245 | 1 | 0 | |a Logical foundations of functional programming |c ed. by Gérard Huet |
| 264 | 1 | |a Reading, Mass. u.a. |b Addison-Wesley |c 1990 | |
| 300 | |a XVI, 491 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a University of Texas at Austin year of programming series | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Huet, Gérard |d 1947- |e Sonstige |0 (DE-588)1079124640 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002594588&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002594588 | ||
Datensatz im Suchindex
| _version_ | 1804118372134158336 |
|---|---|
| adam_text | Contents
Foreword
.........................................................................ix
Preface
..........................................................................xiii
PART I. CAML: The theory, the machine, and the language
1
Introduction Guy Cousineau
................................................3
2
Cartesian closed categories and lambda-calculus Gerard Huet
......7
3
The Categorical Abstract Machine Guy Cousineau
....................25
4
Compiling ML into CAM ASCANDER SuAREZ
..............................47
v
vi
Contents
PART II. Polymorphic lambda-calculus
5
Introduction John C. Reynolds
...........................................77
6
The system
F
of variable types,
15
years later
Jean-Yves Girard
..87
7
On functors expressible in the polymorphic lambda calculus
John C. Reynolds and Gordon D. Plotkin
............................127
8
Polymorphic type inference and containment John C. Mitchell.
153
9
A type-inference approach to reduction properties and semantics of
polymorphic expressions (summary) John C. Mitchell
............195
10
The semantics of second-order lambda-calculus
Кім В.
Bruce,
Albert
R.
Meyer, and John
С
Mitchell
................................213
11
Empty types in polymorphic lambda-calculus Albert R. Meyer,
John
С
Mitchell,
Eugenio Moggi,
and Richard Statman
.........273
12
Computable values can be classical
Val Breazu-Tannen
and
Albert R. Meyer
..............................................................285
13
Polymorphism is conservative over simple types
Val
Breazu-Tannen and Albert R. Meyer
..............................297
14
Functorial polymorphism E. S. Bainbridge, P. J. Freyd,
Andre Scedrov, and P. J. Scott
.........................................315
PART HI. Topics in constructive type theory
15
Introduction Gerard Huet
...............................................331
16
A uniform approach to type theory Gerard Huet
...................337
Contents
vii
17
On the analogy between propositions and types
Thierry Coquand
.........................................................399
18
Recursive realizability semantics for calculus of constructions
Andre Scedrov
...............................................................419
19
An introduction to PX
Ѕиѕими
HAYASHI
................................431
The Authors
.................................................................487
The Year of Programming on Videotape
...............................491
|
| any_adam_object | 1 |
| author_GND | (DE-588)1079124640 |
| building | Verbundindex |
| bvnumber | BV004160597 |
| classification_rvk | SK 130 ST 230 ST 240 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)246866114 (DE-599)BVBBV004160597 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01618nam a2200397 c 4500</leader><controlfield tag="001">BV004160597</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151209 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">901119s1990 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201172348</subfield><subfield code="9">0-201-17234-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246866114</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004160597</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-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</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="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of functional programming</subfield><subfield code="c">ed. by Gérard Huet</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Reading, Mass. u.a.</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 491 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="0" ind2=" "><subfield code="a">University of Texas at Austin year of programming series</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</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">Huet, Gérard</subfield><subfield code="d">1947-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1079124640</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002594588&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002594588</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV004160597 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:09:15Z |
| institution | BVB |
| isbn | 0201172348 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002594588 |
| oclc_num | 246866114 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-739 DE-29T DE-19 DE-BY-UBM DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-739 DE-29T DE-19 DE-BY-UBM DE-83 DE-188 |
| physical | XVI, 491 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Addison-Wesley |
| record_format | marc |
| series2 | University of Texas at Austin year of programming series |
| spelling | Logical foundations of functional programming ed. by Gérard Huet Reading, Mass. u.a. Addison-Wesley 1990 XVI, 491 S. txt rdacontent n rdamedia nc rdacarrier University of Texas at Austin year of programming series Literaturangaben Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 Huet, Gérard 1947- Sonstige (DE-588)1079124640 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002594588&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logical foundations of functional programming Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4198740-8 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Logical foundations of functional programming |
| title_auth | Logical foundations of functional programming |
| title_exact_search | Logical foundations of functional programming |
| title_full | Logical foundations of functional programming ed. by Gérard Huet |
| title_fullStr | Logical foundations of functional programming ed. by Gérard Huet |
| title_full_unstemmed | Logical foundations of functional programming ed. by Gérard Huet |
| title_short | Logical foundations of functional programming |
| title_sort | logical foundations of functional programming |
| topic | Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Funktionale Programmierung Aufsatzsammlung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002594588&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT huetgerard logicalfoundationsoffunctionalprogramming |