Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, the Netherlands, December 4-6, 1995 Proceedings, edited by Pieter H. Hartel, Rinus Plasmeijer

Resource Information

The instance Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, the Netherlands, December 4-6, 1995 Proceedings, edited by Pieter H. Hartel, Rinus Plasmeijer represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540492528&Type=L

Label

Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, the Netherlands, December 4-6, 1995 Proceedings, edited by Pieter H. Hartel, Rinus Plasmeijer

Title remainder

First International Symposium, FPLE '95 Nijmegen, the Netherlands, December 4-6, 1995 Proceedings

Statement of responsibility

edited by Pieter H. Hartel, Rinus Plasmeijer

Instantiates

• Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, the Netherlands, December 4-6, 1995 Proceedings

Publication

• Berlin, Heidelberg, Springer-Verlag, 1995

Antecedent source

mixed

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

not applicable

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

Elementary strong functional programming -- Introducing computer science undergraduates to principles of programming through a functional language -- Teaching C after Miranda -- Requirements for an ideal first language -- A second year course on data structures based on functional programming -- Functional programming through the curriculum -- Experiences in teaching large scale functional programming -- Functional programming and mathematical objects -- Explaining algebraic theory with functional programs -- Inducing students to induct -- Conceptual structures for recursion -- Teaching functional circuit specification in Hydra -- Functional programming in a basic database course -- Using?-RED as a teaching tool for functional programming and program execution -- Compiler construction using scheme -- Basic proof skills of computer science students -- The Dys-functional student

Control code

827358930

Dimensions

unknown

Extent

1 online resource

File format

multiple file formats

Form of item

online

Isbn

9783540492528

Level of compression

uncompressed

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/3-540-60675-0

Other physical details

volumes: digital.

Quality assurance targets

absent

Record ID

.b130112641

Reformatting quality

access

Specific material designation

remote

System control number

(OCoLC)827358930