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 |
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
LOCATION | CALL# | STATUS |
---|---|---|
Central Library (4th Floor) | 005.13 I61I 2003 | CHECK SHELVES |