skip to main content
Language:
Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Purely Functional Data Structures
Purely Functional Data Structures
Purely Functional Data Structures
Material Type:
Book 		Add to e-Shelf

Purely Functional Data Structures

Chris Okasaki

Cambridge Cambridge University Press 1998

Online access. The library also has physical copies.

2
Functional programming and its applications an advanced course
Functional programming and its applications an advanced course
Material Type:
Book 		Add to e-Shelf

Functional programming and its applications an advanced course

J Darlington (John); Peter Henderson 1944-; D. A Turner (David Alan) 1946-

Cambridge New York Cambridge University Press 1982

Available at IME - Inst. Matemática e Estatística    (QA762.C3 D221f )(GetIt)

3
Functional programming application and implementation
Functional programming application and implementation
Material Type:
Book 		Add to e-Shelf

Functional programming application and implementation

Peter Henderson 1944-

Englewood Cliffs, N.J. Prentice-Hall International c1980

Available at EPBC - Esc. Politécnica-Bib Central    (004.42 H383f ) and other locations(GetIt)

4
Implementation of functional languages 9th international workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers
Implementation of functional languages 9th international workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers
Material Type:
Book 		Add to e-Shelf

Implementation of functional languages 9th international workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers

Chris Clack; Kevin Hammond; A. J. T Davie (Antony J. T.) 1939-; International Workshop on the Implementation of Functional Languages (1997 St. Andrews, Scotland)

Berlin Springer New York c1998

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1467 ) and other locations(GetIt)

5
Implementation of functional languages 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers
Implementation of functional languages 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers
Material Type:
Book 		Add to e-Shelf

Implementation of functional languages 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers

International Workshop on the Implementation of Functional Languages (10th 1998 London, England) Kevin Hammond; A. J. T Davie (Antony J. T.), 1939-; Chris Clack 1958-

Berlin Springer New York c1999

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1595 ) and other locations(GetIt)

6
Implementation of functional languages 11th international workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers
Implementation of functional languages 11th international workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers
Material Type:
Book 		Add to e-Shelf

Implementation of functional languages 11th international workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers

International Workshop on the Implementation of Functional Languages (11th 1999 Lochem, Netherlands) Pieter Koopman; Chris Clack

Berlin Springer New York 2000

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1868 ) and other locations(GetIt)

7
Compiling functional languages
Compiling functional languages
Material Type:
Book 		Add to e-Shelf

Compiling functional languages

Antoni Diller

Chichester New York Wiley c1988

Available at EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (005.13 D583c )(GetIt)

8
Implementation of functional languages 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers
Implementation of functional languages 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers
Material Type:
Book 		Add to e-Shelf

Implementation of functional languages 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers

International Workshop on the Implementation of Functional Languages (12th 2000 Aachen, Germany) Markus Mohnen 1967-; Pieter Koopman

Berlin Springer New York c2001

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2011 ) and other locations(GetIt)

9
Implementation of functional languages 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
Implementation of functional languages 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
Material Type:
Book 		Add to e-Shelf

Implementation of functional languages 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers

International Workshop on the Implementation of Functional Languages (13th 2001 Stockholm, Sweden) Thomas Arts 1969-; Markus Mohnen 1967-

Berlin Springer New York c2002

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2312 ) and other locations(GetIt)

10
Implementation and application of functional languages 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21 2005 ; revised selected papers
Implementation and application of functional languages 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21 2005 ; revised selected papers
Material Type:
Book 		Add to e-Shelf

Implementation and application of functional languages 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21 2005 ; revised selected papers

International Workshop on Implementation and Application of Functional Languages (17th 2005 Dublin, Ireland) A Butterfield (Andrew); Clemens Grelck; Frank Huch

Berlin Springer 2006

Available at IME - Inst. Matemática e Estatística    (S L471c v.4015 )(GetIt)

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Conference Proceedings  (3,495)
  2. Articles  (1,497)
  3. Book Chapters  (306)
  4. Books  (150)
  5. Reports  (90)
  6. Dissertations  (63)
  7. magazinearticle  (27)
  8. Datasets  (8)
  9. Standards  (7)
  10. Web Resources  (5)
  11. Text Resources  (3)
  12. Reviews  (2)
  13. Academic Productions  (1)
  14. More options open sub menu

Subject 

  1. Computer Science  (2,114)
  2. Science & Technology  (2,058)
  3. Technology  (1,950)
  4. Functional Programming  (1,666)
  5. Programming Languages  (1,249)
  6. Computer Science, Software Engineering  (1,241)
  7. Computer Science, Theory & Methods  (786)
  8. Software  (634)
  9. Exact Sciences And Technology  (546)
  10. Applied Sciences  (539)
  11. Computer Science; Control Theory; Systems  (529)
  12. Computer Languages  (359)
  13. Software And Its Engineering  (358)
  14. Engineering  (342)
  15. Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification  (340)
  16. Software Engineering  (340)
  17. Computer Science - Programming Languages  (313)
  18. Software And Its Engineering -- Software Notations And Tools -- Compilers  (307)
  19. General And Reference -- Cross-Computing Tools And Techniques -- Verification  (292)
  20. Semantics  (281)
  21. Java  (183)
  22. Functional Programming Languages  (113)
  23. Lisp  (36)
  24. Electronic Digital Computers  (33)
  25. Functional Programming Languages  (16)
  26. Java Virtual Machine  (9)
  27. Linguagem De Programação  (8)
  28. Metodologia E Técnicas De Computação  (8)
  29. Técnicas De Programação (Congressos)  (7)
  30. Programação Funcional (Congressos)  (7)
  31. Functional Programming (Computer Science)  (6)
  32. Programação Funcional  (4)
  33. Técnicas De Programação  (3)
  34. Clojure (Computer Program Language)  (2)
  35. Java (Computer Program Language)  (2)
  36. Lisp  (2)
  37. Linguagens Funcionais  (2)
  38. Java  (2)
  39. Java virtual machine  (2)
  40. Linguagem De Programação  (2)
  41. Programação Funcional  (1)
  42. Electronic Digital Computers  (1)
  43. Técnicas De Programação  (1)
  44. Montadores E Compiladores  (1)
  45. Semântica De Programação  (1)
  46. Compiling (Electronic Computers)  (1)
  47. Banco De Dados  (1)
  48. Programming Languages (Electronic Computers)  (1)
  49. More options open sub menu

Creation Date 

From To
Refine
  1. Before1977  (57)
  2. 1977To1988  (446)
  3. 1989To2000  (1,176)
  4. 2001To2013  (2,338)
  5. After 2013  (1,722)
  6. More options open sub menu

Language 

  1. English  (5,639)
  2. Japanese  (177)
  3. Spanish  (5)
  4. French  (3)
  5. Norwegian  (2)
  6. Czech  (2)
  7. Chinese  (2)
  8. Portuguese  (2)
  9. Russian  (1)
  10. Swedish  (1)
  11. German  (1)
  12. Undetermined  (1)
  13. More options open sub menu

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far