Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Streaming Representation-ChangersGibbons, JeremyLecture notes in computer science, 2004, p.142-168 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Artigo
|
Just do it: simple monadic equational reasoningGibbons, Jeremy ; Hinze, RalfSIGPLAN notices, 2011-09, Vol.46 (9), p.2-14Texto completo disponível |
|
3 |
Material Type: Artigo
|
Disciplined, efficient, generalised folds for nested datatypesMARTIN, Clare ; GIBBONS, Jeremy ; BAYLEY, IanFormal aspects of computing, 2004-04, Vol.16 (1), p.19-35 [Periódico revisado por pares]London: SpringerTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Pointwise relational programmingDE MOOR, O ; GIBBONS, JLecture notes in computer science, 2000, p.371-390 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
5 |
Material Type: Artigo
|
Structured programming in JavaGibbons, JeremySIGPLAN notices, 1998-04, Vol.33 (4), p.40-43New York, NY: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
Incremental updates for efficient bidirectional transformationsWang, Meng ; Gibbons, Jeremy ; Wu, NicolasSIGPLAN notices, 2011-09, Vol.46 (9), p.392-403Texto completo disponível |
|
7 |
Material Type: Artigo
|
Bridging the algorithm gap: A linear-time functional program for paragraph formattingde Moor, Oege ; Gibbons, JeremyScience of computer programming, 1999-09, Vol.35 (1), p.3-27 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
The visitor pattern as a reusable, generic, type-safe componentOliveira, Bruno C.d.S. ; Wang, Meng ; Gibbons, JeremySIGPLAN notices, 2008-10, Vol.43 (10), p.439-456Texto completo disponível |
|
9 |
Material Type: Artigo
|
The under-appreciated unfoldGIBBONS, J ; JONES, GICFP 98: ICFP: International Conference on Functional Programming and Its Extension, 1999, Vol.34 (1), p.273-279New York, NY: Association for Computing Machinery, Special Interest Group on Programming LanguagesTexto completo disponível |