skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Exact Sciences And Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Generic Programming: Advanced Lectures
Generic Programming: Advanced Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Generic Programming: Advanced Lectures

Backhouse, Roland ; Gibbons, Jeremy Backhouse, Roland ; Gibbons, Jeremy ; Backhouse, Roland ; Gibbons, Jeremy

Lecture notes in computer science, 2003, Vol.2793

Berlin, Heidelberg: Springer Nature

Texto completo disponível

Citações Citado por
2
Calculating functional programs
Calculating functional programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Calculating functional programs

GIBBONS, Jeremy

Lecture notes in computer science, 2002, p.149-201 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
3
Fission for Program Comprehension
Fission for Program Comprehension
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Fission for Program Comprehension

Gibbons, Jeremy

Lecture notes in computer science, 2006, p.162-179 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Streaming Representation-Changers
Streaming Representation-Changers
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Streaming Representation-Changers

Gibbons, Jeremy

Lecture notes in computer science, 2004, p.142-168 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Polytypic downwards accumulations
Polytypic downwards accumulations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Polytypic downwards accumulations

Gibbons, Jeremy

Lecture notes in computer science, 2006, p.207-233 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Just do it: simple monadic equational reasoning
Just do it: simple monadic equational reasoning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Just do it: simple monadic equational reasoning

Gibbons, Jeremy ; Hinze, Ralf

SIGPLAN notices, 2011-09, Vol.46 (9), p.2-14

Texto completo disponível

Citações Citado por
7
Arithmetic coding with folds and unfolds
Arithmetic coding with folds and unfolds
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Arithmetic coding with folds and unfolds

BIRD, Richard ; GIBBONS, Jeremy

Lecture notes in computer science, 2003, p.1-26 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
8
Towards a Colimit-Based Semantics for Visual Programming
Towards a Colimit-Based Semantics for Visual Programming
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards a Colimit-Based Semantics for Visual Programming

Gibbons, Jeremy

Coordination Models and Languages, 2002, p.166-173 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Disciplined, efficient, generalised folds for nested datatypes
Disciplined, efficient, generalised folds for nested datatypes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Disciplined, efficient, generalised folds for nested datatypes

MARTIN, Clare ; GIBBONS, Jeremy ; BAYLEY, Ian

Formal aspects of computing, 2004-04, Vol.16 (1), p.19-35 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Citações Citado por
10
Pointwise relational programming
Pointwise relational programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Pointwise relational programming

DE MOOR, O ; GIBBONS, J

Lecture notes in computer science, 2000, p.371-390 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (19)
  2. Revistas revisadas por pares (15)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (11)
  2. Anais de Congresso  (6)
  3. Book Chapters  (3)
  4. Livros  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1998  (2)
  2. 1998Até1999  (4)
  3. 2000Até2001  (3)
  4. 2002Até2004  (8)
  5. Após 2004  (7)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.