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

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


Functional programming languages -- Congresses

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

Chulalinet's Book Delivery Request




Location



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

  line

facebook   instragram