DRAWING PROGRAMS:The Theory and Practice of Schematic Functional Programming
| Main Author: | Addis, Tom |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Addis, Jan |
| Format: | Electronic Kit Book |
| Language: | English |
| Published: |
London
Springer-Verlag London
2010
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-1-84882-618-2 |
Similar Items
-
Abstraction, Refinement and Proof for Probabilistic Systems
by: McIver, Annabelle
Published: (2005) -
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
by: Pnueli, Amir
Published: (2010) -
Software Engineering 3 Domains, Requirements, and Software Design
by: BjΓΈner, Dines
Published: (2006) -
Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
by: HorvΓ'th, ZoltΓ'n
Published: (2010) -
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
by: Carro, Manuel
Published: (2010)