Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

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


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

Functional programming languages -- Congresses

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

Chulalinet's Book Delivery Request


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram