Tools

LEADER 02893cam a2200361 a 4500

005 20141212121755.0;

008 951106s1995 gw a b 100 0 eng ;

010 a| 95049511;

020 a| 3540606750 (Berlin : acid-free paper);

035 a| (Sirsi) o33819551;

035 a| (OCoLC)33819551;

049 a| EREE;

050 00 a| QA76.62b| .F68 1995;

082 00 a| 005.132| 20;

111 2 a| FPLE '95d| (1995 :c| Nijmegen, Netherlands)=| ^A377878;

245 10 a| Functional programming languages in education :b| first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings /c| Pieter H. Hartel, Rinus Plasmeijer (eds.).;

260 a| Berlin ;a| New York :b| Springer,c| 1995.;

300 a| x, 309 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1022;

504 a| Includes bibliographical references.;

505 0 a| Invited paper : Elementary strong functional programming / D.A. Turner -- Introducing computer science undergraduates to principles of programming through a functional language / E.T. Keravnou -- Teaching C after Miranda / A. Davison -- Requirements for an ideal first language / J.-P. Jacquot, J. Guyard -- A second year course on data structures based on functional programming / M. Núñez, P. Palao, R. Peña -- Functional programming through the curriculum / S. Thompson, S. Hill -- Understanding LOLITA : experiences in teaching large scale functional programming / S. Jarvis, S. Poria, R. Morgan -- Functional programming and mathematical objects / J. Karczmarczuk -- Explaining algebraic theory with functional programs / J. Fokker -- Inducing students to induct / D. Lester, S. Mintchev -- Conceptual structures for recursion / C.T.P. Burton -- From transistors to computer architecture : teaching functional circuit specification in Hydra / J. O'Donnell -- Functional programming in a basic database course / P. Koopman, V. Zweije -- Using [pi]-RED as a teaching tool for functional programming and program execution / W.E. Kluge, C. Rathsack, S.-B. Scholz -- Compiler construction using Scheme / E. Hilsdale ... [et al.] -- Basic proof skills of computer science students / P.H. Hartel, B. van Es. D. Tromp -- The dys-functional student / C. Clack, C. Myers.;

650 0 a| Functional programming languagesv| Congresses.=| ^A1237836;

650 0 a| Computer-assisted instructionv| Congresses.=| ^A15141;

700 1 a| Hartel, Pieter H.=| ^A377879;

700 1 a| Plasmeijer, M. J.q| (Marinus Jacobus)=| ^A682687;

830 0 a| Lecture notes in computer sciencev| 1022.=| ^A466336;

596 a| 1;

998 a| 596432;

999 a| QA76.62 .F68 1995w| LCc| 1i| 30372009446581d| 2/13/2013e| 8/25/1996f| 2/13/2013g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 6/17/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel, Rinus Plasmeijer (eds.).

Author/creator	FPLE '95
Other author	Hartel, Pieter H.
Other author	Plasmeijer, M. J. (Marinus Jacobus)
Format	Book
Publication Info	Berlin ; New York : Springer, 1995.
Description	x, 309 pages : illustrations ; 24 cm.
Subjects	Functional programming languages--Congresses. Computer-assisted instruction--Congresses.

Series	Lecture notes in computer science ; 1022 Lecture notes in computer science 1022. ^A466336
Contents	Invited paper : Elementary strong functional programming / D.A. Turner -- Introducing computer science undergraduates to principles of programming through a functional language / E.T. Keravnou -- Teaching C after Miranda / A. Davison -- Requirements for an ideal first language / J.-P. Jacquot, J. Guyard -- A second year course on data structures based on functional programming / M. Núñez, P. Palao, R. Peña -- Functional programming through the curriculum / S. Thompson, S. Hill -- Understanding LOLITA : experiences in teaching large scale functional programming / S. Jarvis, S. Poria, R. Morgan -- Functional programming and mathematical objects / J. Karczmarczuk -- Explaining algebraic theory with functional programs / J. Fokker -- Inducing students to induct / D. Lester, S. Mintchev -- Conceptual structures for recursion / C.T.P. Burton -- From transistors to computer architecture : teaching functional circuit specification in Hydra / J. O'Donnell -- Functional programming in a basic database course / P. Koopman, V. Zweije -- Using [pi]-RED as a teaching tool for functional programming and program execution / W.E. Kluge, C. Rathsack, S.-B. Scholz -- Compiler construction using Scheme / E. Hilsdale ... [et al.] -- Basic proof skills of computer science students / P.H. Hartel, B. van Es. D. Tromp -- The dys-functional student / C. Clack, C. Myers.
Bibliography note	Includes bibliographical references.
LCCN	95049511
ISBN	3540606750 (Berlin : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.62 .F68 1995	✔ Available	Place Hold

Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel, Rinus Plasmeijer (eds.).

Click here for more information about this title

Availability