Implementation of Functional Languages
15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
Functional programminghas a long history,reaching back through early reali- tions in languages like LISP to foundational theories of computing, in particular ?-calculus and recursive function theory. In turn, functional programming has had wide in?uence in computing, both through developments within the dis- pline, such as formal semantics, polymorphic type checking, lazy evaluation and structural proof, and as a practical embodiment of formalized approaches, such as speci?cation, transformation and partial application. One of the engaging features of functional programming is precisely the crossover between theory and practice. In particular…
Mehr
CHF 93.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Pena, Ricardo (Hrsg.) / Michaelson, Greg (Hrsg.)
- ISBN: 978-3-540-23727-3
- EAN: 9783540237273
- Produktnummer: 1690301
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 200 S.
- Masse: H23.5 cm x B15.5 cm x D1.1 cm 312 g
- Auflage: 2005
- Abbildungen: Paperback
- Gewicht: 312
8 weitere Werke von Phil (Hrsg.) Trinder:
Bewertungen
Anmelden