skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Breadth-First Traversal via Staging
Breadth-First Traversal via Staging
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Breadth-First Traversal via Staging

Gibbons, Jeremy ; Kidney, Donnacha Oisin ; Schrijvers, Tom ; Wu, Nicolas Komendantskaya, E

MATHEMATICS OF PROGRAM CONSTRUCTION (MPC 2022, 2022, Vol.13544, p.1-33 [Periódico revisado por pares]

SPRINGER INTERNATIONAL PUBLISHING AG

Texto completo disponível

Citações Citado por
2
A Process Semantics for BPMN
A Process Semantics for BPMN
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Process Semantics for BPMN

Wong, Peter Y. H. ; Gibbons, Jeremy

Formal Methods and Software Engineering, p.355-374 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
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
4
Folding domain-specific languages: deep and shallow embeddings (functional Pearl)
Folding domain-specific languages: deep and shallow embeddings (functional Pearl)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Folding domain-specific languages: deep and shallow embeddings (functional Pearl)

Gibbons, Jeremy ; Wu, Nicolas

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, 2014, p.339-347

ACM

Texto completo disponível

Citações Citado por
5
Calculating graph algorithms for dominance and shortest path
Calculating graph algorithms for dominance and shortest path
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Calculating graph algorithms for dominance and shortest path

Sergey, Ilya ; Midtgaard, Jan ; Clarke, Dave Gibbons, Jeremy ; Nogueira, Pablo

Mathematics of Program Construction 2012, MPC 2012, 2012, Vol.7342 LNCS, p.132-156 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
6
Towards a more efficient Selection Monad
Towards a more efficient Selection Monad
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards a more efficient Selection Monad

Hartmann, Johannes ; Schrijvers, Tom ; Gibbons, Jeremy

Trends in Functional Programming, Proceedings, 2024

Springer

Texto completo disponível

Citações Citado por
7
Semantic Frameworks—Meanings in the Architecture
Semantic Frameworks—Meanings in the Architecture
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Semantic Frameworks—Meanings in the Architecture

Davies, Jim ; Gibbons, Jeremy

Distributed Computing and Internet Technology, p.40-54 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
Metadata-driven software for clinical trials
Metadata-driven software for clinical trials
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Metadata-driven software for clinical trials

Crichton, Charles ; Davies, Jim ; Gibbons, Jeremy ; Harris, Steve ; Tsui, Andrew ; Brenton, James

2009 ICSE Workshop on Software Engineering in Health Care, 2009, Vol.2009 (10), p.1-11

IEEE Computer Society

Texto completo disponível

Citações Citado por
9
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
10
Understanding idiomatic traversals backwards and forwards
Understanding idiomatic traversals backwards and forwards
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Understanding idiomatic traversals backwards and forwards

Bird, Richard ; Gibbons, Jeremy ; Mehner, Stefan ; Voigtländer, Janis ; Schrijvers, Tom

Proceedings of the 2013 ACM SIGPLAN symposium on haskell, 2013, p.25-36

ACM

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

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

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

Buscando em bases de dados remotas. Favor aguardar.