Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Generic Programming: Advanced LecturesBackhouse, Roland ; Gibbons, Jeremy Backhouse, Roland ; Gibbons, Jeremy ; Backhouse, Roland ; Gibbons, JeremyLecture notes in computer science, 2003, Vol.2793Berlin, Heidelberg: Springer NatureTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Calculating functional programsGIBBONS, JeremyLecture notes in computer science, 2002, p.149-201 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Fission for Program ComprehensionGibbons, JeremyLecture notes in computer science, 2006, p.162-179 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
4 |
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 |
|
5 |
Material Type: Ata de Congresso
|
Polytypic downwards accumulationsGibbons, JeremyLecture notes in computer science, 2006, p.207-233 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
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 |
|
7 |
Material Type: Capítulo de Livro
|
Towards a Colimit-Based Semantics for Visual ProgrammingGibbons, JeremyCoordination Models and Languages, 2002, p.166-173 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
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 |
|
9 |
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 |
|
10 |
Material Type: Artigo
|
Structured programming in JavaGibbons, JeremySIGPLAN notices, 1998-04, Vol.33 (4), p.40-43New York, NY: ACMTexto completo disponível |