Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected PapersArts, Thomas ; Mohnen, Markus Arts, Thomas ; Mohnen, MarkusBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
12 |
Material Type: Livro
|
Functional Programming Languages and Computer Architecture: Nancy, France, September 16–19, 1985Jouannaud, Jean-Pierre Jouannaud, Jean-PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
|
13 |
Material Type: Livro
|
Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986Fasel, Joseph H ; Keller, Robert M Keller, Robert M. ; Fasel, Joseph H.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
14 |
Material Type: Livro
|
Implementation of functional languages: 13th international workshop, IFL 2001, Stockholm, Sweden September 24-26, 2001 : selected papersArts, Thomas ; Mohnen, MarkusSpringer 2014Texto completo disponível |
|
15 |
Material Type: Livro
|
Funtional Programming Languages in Education: First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 ProceedingsHartel, Pieter H ; Plasmeijer, Rinus Plasmeijer, Rinus ; Hartel, Pieter H.Berlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
16 |
Material Type: Livro
|
Arrays, Functional Languages, and Parallel SystemsRestifo Mullin, Lenore M ; Jenkins, Michael ; Hains, Gaetan ; Bernecky, Robert ; Guang R. Gao, Guang RNew York, NY: Springer 1991Texto completo disponível |
|
17 |
Material Type: Livro
|
Games and Full Abstraction for a Functional Metalanguage with Recursive TypesMcCusker, GuySpringer 2012Texto completo disponível |
|
18 |
Material Type: Livro
|
Implementation of functional languages: 10th international workshop, IFL'98 : London, UK, September 9-11, 1998 : selected papersHammond, Kevin ; Davie, Tony ; Clack, ChrisSpringer 2006Texto completo disponível |
|
19 |
Material Type: Livro
|
Software Engineering with OBJ: Algebraic Specification in ActionGoguen, Joseph A ; Malcolm, GrantNew York, NY: Springer 2013Texto completo disponível |
|
20 |
Material Type: Livro
|
Arrays, Functional Languages, and Parallel SystemsMullin, Lenore M. Restifo ; Jenkins, Michael ; Hains, Gaetan ; Bernecky, Robert ; Gao, Guang RSpringer 2012Texto completo disponível |