Functional programming: Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London u.a.
Springer
1991
|
| Schriftenreihe: | Workshops in Computing
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VIII, 286 S. graph. Darst. |
| ISBN: | 3540196676 0387196676 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004560737 | ||
| 003 | DE-604 | ||
| 005 | 20250307 | ||
| 007 | t| | ||
| 008 | 910916s1991 gw d||| |||| 10||| eng d | ||
| 020 | |a 3540196676 |9 3-540-19667-6 | ||
| 020 | |a 0387196676 |9 0-387-19667-6 | ||
| 035 | |a (OCoLC)23139790 | ||
| 035 | |a (DE-599)BVBBV004560737 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 | ||
| 050 | 0 | |a QA76.62 | |
| 082 | 0 | |a 005.1/1 |2 20 | |
| 084 | |a DAT 544f |2 stub | ||
| 245 | 1 | 0 | |a Functional programming |b Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland |c Simon L. Peyton Jones ... (ed.) |
| 264 | 1 | |a London u.a. |b Springer |c 1991 | |
| 300 | |a VIII, 286 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Workshops in Computing | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Functional programming (Computer science) | |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Ullapool |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Peyton Jones, Simon L. |d 1958- |e Sonstige |0 (DE-588)172306523 |4 oth | |
| 711 | 2 | |a Glasgow Workshop on Functional Programming |n 3 |d 1990 |c Ullapool |j Sonstige |0 (DE-588)2118644-3 |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=002805742&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002805742 | |
Datensatz im Suchindex
| _version_ | 1825947925660827648 |
|---|---|
| adam_text |
Contents
Lifetime Analysis
Guy Argo
. 1
Compiling Laziness by Partial Evaluation
Anders Bondorf
. 9
Strictness Analysis in 4D
Kei
Davis and Philip Wadler
. 23
An Algorithmic and Semantic Approach to Debugging
Cordelia Hall, Kevin Hammond and John
О
'Donnell
. 44
Abstract Interpretation of Term Graph Rewriting Systems
Chris
Hankin
. 54
Compile-Time Garbage Collection by Necessity Analysis
Geoff W. Hamilton and Simon B. Jones
. 66
Improving Full Laziness
Carsten Kehler Holst. 71
Towards Binding-Time Improvement for Free
Carsen
Kehler Holst
and John Hughes
. 83
Towards Relating Forwards and Backwards Analyses
John Hughes and John Launchbury
.101
PERs Generalise Projections for Strictness Analysis
Sebastian Hunt
.114
Functional Programming with Relations
Graham Hutton
.126
Abstract Interpretation vs. Type Inference: A Topological
Perspective
Thomas Jensen
.141
Analysing Heap Contents in a Graph Reduction Intermediate
Language
Thomas
Johnsson
.146
viii
Contents
Is Compile Time Garbage Collection Worth the Effort?
Simon B. Jones and Michael White
.172
Generating a Pattern Matching Compiler by Partial Evaluation
Jesper
Jorgensen
.177
An Experiment using Term Rewriting Techniques for
Concurrency
Carrón
Kirkwood
.196
Type Refinement in Ruby
David Murphy
.201
Normal-Order Reduction Using Scan Primitives
William D. Partain
.218
Calculating Lenient Programs' Performance
Paul Roe
.227
Problems and Proposals for Time and Space Profiling of
Functional Programs
Colin Runciman and David Wakeling
.237
Solid Modelling in HASKELL
Duncan
С
Sinclair
.246
Differentiating Strictness
Satnam Singh
.264
Generalising Diverging Sequences of Rewrite Rules by
Synthesising New Sorts
Muffy Thomas and Phil Watson
.268
Concurrent Data Manipulation in a Pure Functional Language
PhilTrìnder
.274 |
| any_adam_object | 1 |
| author_GND | (DE-588)172306523 |
| building | Verbundindex |
| bvnumber | BV004560737 |
| 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 | SS 1990 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)23139790 (DE-599)BVBBV004560737 |
| dewey-full | 005.1/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/1 |
| dewey-search | 005.1/1 |
| dewey-sort | 15.1 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV004560737</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250307</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">910916s1991 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540196676</subfield><subfield code="9">3-540-19667-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387196676</subfield><subfield code="9">0-387-19667-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23139790</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004560737</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</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.1/1</subfield><subfield code="2">20</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">Functional programming</subfield><subfield code="b">Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland</subfield><subfield code="c">Simon L. Peyton Jones ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 286 S.</subfield><subfield code="b">graph. Darst.</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">Workshops in Computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1990</subfield><subfield code="z">Ullapool</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">Peyton Jones, Simon L.</subfield><subfield code="d">1958-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)172306523</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Glasgow Workshop on Functional Programming</subfield><subfield code="n">3</subfield><subfield code="d">1990</subfield><subfield code="c">Ullapool</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2118644-3</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=002805742&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002805742</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1990 Ullapool gnd-content |
| genre_facet | Konferenzschrift 1990 Ullapool |
| id | DE-604.BV004560737 |
| illustrated | Illustrated |
| indexdate | 2025-03-07T15:00:39Z |
| institution | BVB |
| institution_GND | (DE-588)2118644-3 |
| isbn | 3540196676 0387196676 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002805742 |
| oclc_num | 23139790 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 |
| physical | VIII, 286 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer |
| record_format | marc |
| series2 | Workshops in Computing |
| spelling | Functional programming Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland Simon L. Peyton Jones ... (ed.) London u.a. Springer 1991 VIII, 286 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Workshops in Computing Literaturangaben Functional programming (Computer science) Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Ullapool gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 Peyton Jones, Simon L. 1958- Sonstige (DE-588)172306523 oth Glasgow Workshop on Functional Programming 3 1990 Ullapool Sonstige (DE-588)2118644-3 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002805742&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Functional programming Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland Functional programming (Computer science) Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4198740-8 (DE-588)1071861417 |
| title | Functional programming Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland |
| title_auth | Functional programming Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland |
| title_exact_search | Functional programming Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland |
| title_full | Functional programming Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland Simon L. Peyton Jones ... (ed.) |
| title_fullStr | Functional programming Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland Simon L. Peyton Jones ... (ed.) |
| title_full_unstemmed | Functional programming Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland Simon L. Peyton Jones ... (ed.) |
| title_short | Functional programming |
| title_sort | functional programming glasgow 1990 proceedings of the 1990 glasgow workshop on functional programming 13 15 august 1990 ullapool scotland |
| title_sub | Glasgow 1990 ; Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13 - 15 August 1990, Ullapool, Scotland |
| topic | Functional programming (Computer science) Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Functional programming (Computer science) Funktionale Programmierung Konferenzschrift 1990 Ullapool |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002805742&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT peytonjonessimonl functionalprogrammingglasgow1990proceedingsofthe1990glasgowworkshoponfunctionalprogramming1315august1990ullapoolscotland AT glasgowworkshoponfunctionalprogrammingullapool functionalprogrammingglasgow1990proceedingsofthe1990glasgowworkshoponfunctionalprogramming1315august1990ullapoolscotland |