• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programspråk

      Implementation of Functional Languages

      13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers

      AvThomas Arts,Markus Mohnen

      Häftad, Engelska, 2002

      Del i serien Lecture Notes in Computer Science

      577 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      The 13th International Workshop on the Implementation of Functional L- guages (IFL 2001) was hosted this year by Ericsson in Stockholm. The growing importance of functional languages in Ericsson products makes strong coope- tion with universities attractive, and hosting IFL was one nice wayto interact. Consecutive to IFL 2001, Ericsson had organized the annual Erlang User Conf- ence, which over 100 (mostlyindustrial) users of the functional language Erlang attended. All participants of IFL 2001 were invited to stayfor that conference as well. In this way, academia got a better insight into the potential of functional languages in industry, and industry got a feeling for upcoming ideas in this area. IFL 2001 was held in September 2001 and attracted 43 researchers from the international functional language community. During the 3 days of the workshop, theypresented no fewer than 28 contributions. The contributions covered topics on the implementation, and also the use of functional languages. This volume follows the lead of the last ?ve IFL workshops in publishing a high-qualitysubset of the contributions in Springer's Lecture Notes in C- puter Science series.All speakers at the workshop were invited to submit a paper afterwards. These submissions were reviewed bythree or four referees and th- oughlydiscussed bythe program committee. From all submissions, 11 papers were selected for publication in this volume.

      Produktinformation

      • Utgivningsdatum:2002-04-10
      • Mått:155 x 235 x 12 mm
      • Vikt:318 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:196
      • Upplaga:2002
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540435372

      Utforska kategorier

      • Programspråk inom Data och IT

      Innehållsförteckning

      • Sized Types for Typing Eden Skeletons.- A Compilation Scheme for a Hierarchy of Array Types.- Optimizations on Array Skeletons in a Shared Memory Environment.- Theorem Proving for Functional Programmers.- Proving Correctness of Programs with IO —A Paradigm Comparison.- Proving the Correctness of the STG Machine.- Dynamic Cheap Eagerness.- A Polynomial-Cost Non-determinism Analysis.- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.- Runtime Behavior of Conversion Interpretation of Subtyping.- A Generic Programming Extension for Clean.
      Hoppa över listan

      Du kanske också är intresserad av

      Markus Mohnen, Thomas Arts - Implementation of Functional Languages, E-bok

      Implementation of Functional Languages

      Markus Mohnen, Thomas Arts

      E-bok
      2003

      739 kr

      Ricardo Pena, Thomas Arts - Implementation of Functional Languages, Häftad

      Implementation of Functional Languages

      Ricardo Pena, Thomas Arts

      Häftad, 2003

      577 kr

      Markus Mohnen, Pieter Koopman - Implementation of Functional Languages, Häftad

      Implementation of Functional Languages

      Markus Mohnen, Pieter Koopman

      Häftad, 2001

      577 kr

      Pieter Koopman, Markus Mohnen - Implementation of Functional Languages, E-bok

      Implementation of Functional Languages

      Pieter Koopman, Markus Mohnen

      E-bok
      2003

      739 kr

      Thomas Arts, Ricardo Pena - Implementation of Functional Languages, E-bok

      Implementation of Functional Languages

      Thomas Arts, Ricardo Pena

      E-bok
      2003

      739 kr

      Klara Peters Bastin - SIGNERAD - Om julens wälgång, Inbunden
      • Signerad!

      SIGNERAD - Om julens wälgång

      Klara Peters Bastin

      Inbunden, 2026

      249 kr

      Mikael Yvesand - Ha en nice dag, Inbunden
      • -21%

      Ha en nice dag

      Mikael Yvesand

      Inbunden, 2026

      189 kr239 kr

      Elin Johansson - Prinsessornas förskola. Ärten, Inbunden
      • Nyhet
      Del 1

      Prinsessornas förskola. Ärten

      Elin Johansson

      Inbunden, 2026

      149 kr

      Harlan Coben - Se dig inte om, Pocket
      • -30%

      Se dig inte om

      Harlan Coben

      Pocket, 2026

      69 kr99 kr

      Klas Östergren - Inkokt ruda, Inbunden
      • -21%

      Inkokt ruda

      Klas Östergren

      Inbunden, 2026

      189 kr239 kr