Search Results
-
1
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures
Published: Springer, 2005SpringerLink - Click here for accessDescription: 1 online resource (viii, 357 pages) : illustrations.
Conference Proceeding eBook -
2
Advanced functional programming : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, revised lectures
Published: Springer, 2009SpringerLink - Click here for accessDescription: 1 online resource (xvi, 329 pages) : illustrations.
Conference Proceeding eBook -
3
Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
Published: Springer, 2008SpringerLink - Click here for accessDescription: 1 online resource (xi, 336 pages) : illustrations.
Conference Proceeding eBook -
4
Pattern calculus : computing with functions and structures
Published: Springer, 2009SpringerLink - Click here for accessDescription: 1 online resource (xvii, 213 pages) : illustrations.
eBook -
5
Practical OCaml
Published: Apress, 2006SpringerLink - Click here for accessDescription: 1 online resource (456 pages).
eBook -
6
Drawing programs : the theory and practice of schematic functional programming
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource (xvi, 395 pages) : illustrations.
eBook -
7
Approaches and applications of inductive programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
Published: Springer-Verlag, 2010SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
8
Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource (xi, 353 pages) : illustrations.
Conference Proceeding eBook -
9
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 lectur...
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource (390 pages) : illustrations.
Conference Proceeding eBook -
10
Practical Clojure
Published: Apress ; Distributed to the Book trade worldwide by Springer-Verlag, 2010SpringerLink - Click here for accessDescription: 1 online resource (xvi, 210 pages) : illustrations.
eBook -
11
Functional and constraint programming : 20th International Workshop, WFIP 2011, Odense, Denmark, July 19th. proceedings
Published: Springer, 2011SpringerLink - Click here for accessDescription: 1 online resource (155 pages) : illustrations (some color).
Conference Proceeding eBook -
12
Adapting proofs-as-programs : the Curry-Howard protocol
Published: Springer, 2005SpringerLink - Click here for accessDescription: 1 online resource (xi, 420 pages) : illustrations.
eBook -
13
Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (x, 331 pages).
Conference Proceeding eBook -
14
Trends in functional programming
Published: Intellect, 2000EBSCOhost - Click here for accessDescription: 1 online resource (269 pages)
eBook -
15
Central European Functional Programming School : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised selected papers
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (532 pages) : illustrations.
Conference Proceeding eBook -
16
Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (x, 194 pages) : illustrations.
Conference Proceeding eBook -
17
The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource (xiv, 302 pages).
Conference Proceeding eBook -
18
Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised selected papers
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource (x, 311 pages) : illustrations.
Conference Proceeding eBook -
19
Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Published: Springer, 2014SpringerLink - Click here for accessDescription: 1 online resource (x, 169 pages) : illustrations.
Conference Proceeding eBook -
20
Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings
Published: Springer, 2014SpringerLink - Click here for accessDescription: 1 online resource (xvi, 352 pages) : illustrations.
Conference Proceeding eBook