Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised papers / Ricardo Pena, Thomas Arts (eds.)

Author	International Workshop on the Implementation of Functional Languages (14th : 2002 : Madrid, Spain)
Title	Implementation 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

Functional programming languages -- Congresses

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