skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming: System Description
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming: System Description
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming: System Description

Abeysinghe, Supun ; Rompf, Tiark Gibbons, Jeremy ; Miller, Dale

Functional and Logic Programming, p.273-288

Singapore: Springer Nature Singapore

Sem texto completo

Citações Citado por
2
Reflections on Monadic Lenses
Reflections on Monadic Lenses
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Reflections on Monadic Lenses

Abou-Saleh, Faris ; Cheney, James ; Gibbons, Jeremy ; McKinna, James ; Stevens, Perdita Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Don

A List of Successes That Can Change the World, 2016, Vol.9600, p.1-31 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
Introduction to Bidirectional Transformations
Introduction to Bidirectional Transformations
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Introduction to Bidirectional Transformations

Abou-Saleh, Faris ; Cheney, James ; Gibbons, Jeremy ; McKinna, James ; Stevens, Perdita Stevens, Perdita ; Gibbons, Jeremy

Bidirectional Transformations, 2018, Vol.9715, p.1-28 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
4
Reflections on Monadic Lenses
Reflections on Monadic Lenses
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reflections on Monadic Lenses

Abou-Saleh, Faris ; Cheney, James ; Gibbons, Jeremy ; McKinna, James ; Stevens, Perdita

arXiv.org, 2016-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Notions of Bidirectional Computation and Entangled State Monads
Notions of Bidirectional Computation and Entangled State Monads
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Notions of Bidirectional Computation and Entangled State Monads

Abou-Saleh, Faris ; Cheney, James ; Gibbons, Jeremy ; McKinna, James ; Stevens, Perdita Voigtländer, Janis ; Hinze, Ralf

Mathematics of Program Construction, 2015, Vol.9129, p.187-214 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
6
Notions of bidirectional computation and entangled state monads
Notions of bidirectional computation and entangled state monads
Material Type:
Artigo 		Adicionar ao Meu Espaço

Notions of bidirectional computation and entangled state monads

Abou-Saleh, Faris ; Cheney, James ; Gibbons, Jeremy ; McKinna, James ; Stevens, Perdita

arXiv.org, 2015-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Coalgebraic Aspects of Bidirectional Computation
Coalgebraic Aspects of Bidirectional Computation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coalgebraic Aspects of Bidirectional Computation

Abou-Saleh, Faris ; McKinna, James ; Gibbons, Jeremy

Journal of object technology, 2017, Vol.16 (1), p.1

Texto completo disponível

Citações Citado por
8
Teaching Concurrency: Theory in Practice
Teaching Concurrency: Theory in Practice
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Teaching Concurrency: Theory in Practice

Aceto, Luca ; Ingolfsdottir, Anna ; Larsen, Kim G. ; Srba, Jiří Oliveira, José Nuno ; Gibbons, Jeremy

Teaching Formal Methods, p.158-175 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
Algebras and Coalgebras
Algebras and Coalgebras
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Algebras and Coalgebras

Aczel, Peter Crole, Roy ; Gibbons, Jeremy ; Backhouse, Roland

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2002, p.79-88

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Verifying Temporal Properties of CommUnity Designs
Verifying Temporal Properties of CommUnity Designs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying Temporal Properties of CommUnity Designs

Aguirre, Nazareno ; Regis, Germán ; Maibaum, Tom Gibbons, Jeremy ; Davies, Jim

Integrated Formal Methods, p.1-20 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (204)
  2. Book Chapters  (139)
  3. Anais de Congresso  (102)
  4. Livros  (36)
  5. Conjunto de Dados  (2)
  6. Outros  (2)
  7. Dissertações  (2)
  8. Audio  (2)
  9. Resenhas  (2)
  10. Reports  (1)
  11. magazinearticle  (1)
  12. Imagens  (1)
  13. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1995  (9)
  2. 1995Até2001  (20)
  3. 2002Até2008  (120)
  4. 2009Até2016  (197)
  5. Após 2016  (136)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (491)
  2. Japonês  (24)
  3. Latim  (2)
  4. Português  (1)
  5. Alemão  (1)
  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.