Search Results

Refine Results
  1. 1

    Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures by AFP 2004 Tartu, Estonia, SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (viii, 357 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures
  2. 2

    Advanced functional programming : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, revised lectures by AFP 2008 Heijen, Netherlands, SpringerLink (Online service)

    Published: Springer, 2009
    Description: 1 online resource (xvi, 329 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Advanced functional programming : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, revised lectures
  3. 3

    Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings by Fuji International Symposium on Functional and Logic Programming Ise-shi, Japan, SpringerLink (Online service)

    Published: Springer, 2008
    Description: 1 online resource (xi, 336 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
  4. 4

    Pattern calculus : computing with functions and structures by Jay, Barry

    Published: Springer, 2009
    Description: 1 online resource (xvii, 213 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Pattern calculus : computing with functions and structures
  5. 5

    Practical OCaml by Smith, Joshua B.

    Published: Apress, 2006
    Description: 1 online resource (456 pages).
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Practical OCaml
  6. 6

    Drawing programs : the theory and practice of schematic functional programming by Addis, T. R.

    Published: Springer, 2010
    Description: 1 online resource (xvi, 395 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Drawing programs : the theory and practice of schematic functional programming
  7. 7

    Approaches and applications of inductive programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers by AAIP 2009 Edinburgh, Scotland, SpringerLink (Online service)

    Published: Springer-Verlag, 2010
    Description: 1 online resource.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Approaches and applications of inductive programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
  8. 8

    Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings by Fuji International Symposium on Functional and Logic Programming Sendai-shi (Miyagi-ken, Japan)), SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource (xi, 353 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
  9. 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... by Central European Functional Programming School Budapest, Hungary; Komárno, Slovakia, SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource (390 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    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
  10. 10

    Practical Clojure by VanderHart, Luke

    Published: Apress ; Distributed to the Book trade worldwide by Springer-Verlag, 2010
    Description: 1 online resource (xvi, 210 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Practical Clojure
  11. 11

    Functional and constraint programming : 20th International Workshop, WFIP 2011, Odense, Denmark, July 19th. proceedings by WFLP 2011 Odense, Denmark, SpringerLink (Online service)

    Published: Springer, 2011
    Description: 1 online resource (155 pages) : illustrations (some color).
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Functional and constraint programming : 20th International Workshop, WFIP 2011, Odense, Denmark, July 19th. proceedings
  12. 12

    Adapting proofs-as-programs : the Curry-Howard protocol by Poernomo, Iman Hafiz, 1976-

    Published: Springer, 2005
    Description: 1 online resource (xi, 420 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Adapting proofs-as-programs : the Curry-Howard protocol
  13. 13

    Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings by Fuji International Symposium on Functional and Logic Programming Kobe-shi, Japan, SpringerLink (Online service)

    Published: Springer, 2012
    Description: 1 online resource (x, 331 pages).
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
  14. 14

    Trends in functional programming by EBSCOhost

    Published: Intellect, 2000
    Description: 1 online resource (269 pages)
    EBSCOhost - Click here for access
    eBook
    Save to List
    Saved in:
    Trends in functional programming
  15. 15

    Central European Functional Programming School : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised selected papers by Central European Functional Programming School Budapest, Hungary, SpringerLink (Online service)

    Published: Springer, 2012
    Description: 1 online resource (532 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Central European Functional Programming School : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised selected papers
  16. 16

    Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers by International Symposium on Trends in Functional Programming Madrid, Spain, SpringerLink (Online service)

    Published: Springer, 2012
    Description: 1 online resource (x, 194 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers
  17. 17

    The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday by SpringerLink (Online service), International Symposium on Implementation and Application of Functional Languages

    Published: Springer, 2013
    Description: 1 online resource (xiv, 302 pages).
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday
  18. 18

    Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised selected papers by International Symposium on Trends in Functional Programming St. Andrews, Scotland, SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource (x, 311 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised selected papers
  19. 19

    Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers by International Symposium on Trends in Functional Programming Provo, Utah, SpringerLink (Online service)

    Published: Springer, 2014
    Description: 1 online resource (x, 169 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
  20. 20

    Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings by Fuji International Symposium on Functional and Logic Programming Kanazawa, Japan, SpringerLink (Online service)

    Published: Springer, 2014
    Description: 1 online resource (xvi, 352 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings

Search Tools: