AuthorInternational Workshop on the Implementation of Functional Languages (14th : 2002 : Madrid, Spain)
TitleImplementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised papers / Ricardo Pena, Thomas Arts (eds.)
Imprint Berlin : Springer, c2003
Descript x, 247 p. ; 24 cm

CONTENT

Predictable space behaviour in FSM-Hume -- When generic functions use dynamic values -- Fast functional lists -- Fusion in practice -- Proving make correct: I/O proofs in Haskell and Clean -- GAST: generic automated software testing -- Lazy dynamic input/output in the lazy functional language Clean -- PolyAPM: paralle programming via stepwise refinement -- Unboxed compilation of floating point arithmetic in a dynamically typed language environment -- Stacking cycles: functional transformation of circular data -- Transforming Haskell for tracing -- Axis control in SAC -- Thread migration in a parallel graph reducer -- Towards a strongly typed functional operating system -- Cost analysis using automatic size and time inference


SUBJECT

  1. Functional programming languages -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)005.13 I61I 2003 CHECK SHELVES