skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: assunto: Computer Science, Theory & Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Maximum Segment Sum, Monadically (distilled tutorial)
Maximum Segment Sum, Monadically (distilled tutorial)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Maximum Segment Sum, Monadically (distilled tutorial)

Gibbons, Jeremy

Electronic proceedings in theoretical computer science, 2011-09, Vol.66 (Proc. DSL 2011), p.181-194

Open Publishing Association

Texto completo disponível

Citações Citado por
2
From Push/Enter to Eval/Apply by Program Transformation
From Push/Enter to Eval/Apply by Program Transformation
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Push/Enter to Eval/Apply by Program Transformation

Piróg, Maciej ; Gibbons, Jeremy

Electronic proceedings in theoretical computer science, 2016-06, Vol.212 (Proc. WoC 2015), p.53-62

Open Publishing Association

Texto completo disponível

Citações Citado por
3
Tracing monadic computations and representing effects
Tracing monadic computations and representing effects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tracing monadic computations and representing effects

Piróg, Maciej ; Gibbons, Jeremy

Electronic proceedings in theoretical computer science, 2012-02, Vol.76 (Proc. MSFP 2012), p.90-111

Open Publishing Association

Texto completo disponível

Citações Citado por
4
Kernels, in a nutshell
Kernels, in a nutshell
Material Type:
Artigo 		Adicionar ao Meu Espaço

Kernels, in a nutshell

Gibbons, Jeremy

Journal of logical and algebraic methods in programming, 2016-08, Vol.85 (5), p.921-930 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
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

SPRINGER INTERNATIONAL PUBLISHING AG 2022

Texto completo disponível

Citações Citado por
6
Coding with Asymmetric Numeral Systems
Coding with Asymmetric Numeral Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Coding with Asymmetric Numeral Systems

Hutton, Graham

Mathematics of Program Construction, 2019, Vol.11825, p.444-465 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
7
Algorithm Design with the Selection Monad
Algorithm Design with the Selection Monad
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Algorithm Design with the Selection Monad

Swierstra, Wouter ; Wu, Nicolas

Trends in Functional Programming, 2023, Vol.13401, p.126-143 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
8
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
9
Computing downwards accumulations on trees quickly
Computing downwards accumulations on trees quickly
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computing downwards accumulations on trees quickly

Gibbons, Jeremy

Theoretical computer science, 1996-11, Vol.169 (1), p.67-80 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Datatype-Generic Programming
Datatype-Generic Programming
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Datatype-Generic Programming

Gibbons, Jeremy

Datatype-Generic Programming, p.1-71 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (24)
  2. Revistas revisadas por pares (23)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (16)
  2. Book Chapters  (15)
  3. Artigos  (8)
  4. magazinearticle  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (4)
  2. 2003Até2007  (7)
  3. 2008Até2011  (14)
  4. 2012Até2016  (10)
  5. Após 2016  (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.