skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Science & Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algorithm Design with Haskell
Algorithm Design with Haskell
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithm Design with Haskell

Bird, Richard

Cambridge: Cambridge University Press 2020

Sem texto completo

Citações Citado por
2
Feasibility of comprehensive, unattended ambulatory polysomnography in school-aged children
Feasibility of comprehensive, unattended ambulatory polysomnography in school-aged children
Material Type:
Artigo 		Adicionar ao Meu Espaço

Feasibility of comprehensive, unattended ambulatory polysomnography in school-aged children

Marcus, Carole L ; Traylor, Joel ; Biggs, Sarah N ; Roberts, Robin S ; Nixon, Gillian M ; Narang, Indra ; Bhattacharjee, Rakesh ; Davey, Margot J ; Horne, Rosemary S C ; Cheshire, Maureen ; Gibbons, K Jeremy ; Dix, Joanne ; Asztalos, Elizabeth ; Doyle, Lex W ; Opie, Gillian F ; D'ilario, Judy ; Costantini, Lorrie ; Bradford, Ruth ; Schmidt, Barbara

Journal of clinical sleep medicine, 2014-08, Vol.10 (8), p.913-918

United States: American Academy of Sleep Medicine

Texto completo disponível

Citações Citado por
3
How to design co-programs
How to design co-programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

How to design co-programs

GIBBONS, JEREMY

Journal of functional programming, 2021, Vol.31, Article e15 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
4
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
5
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
6
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
7
The essence of the Iterator pattern
The essence of the Iterator pattern
Material Type:
Artigo 		Adicionar ao Meu Espaço

The essence of the Iterator pattern

GIBBONS, JEREMY ; OLIVEIRA, BRUNO C. d. S.

Journal of functional programming, 2009-07, Vol.19 (3-4), p.377-402 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
8
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
9
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)
Material Type:
Artigo 		Adicionar ao Meu Espaço

What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)

Boisseau, Guillaume ; Gibbons, Jeremy

Proceedings of ACM on programming languages, 2018-07, Vol.2 (ICFP), p.1-27 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
10
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
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 (144)
  2. Revistas revisadas por pares (113)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2000  (7)
  2. 2000Até2005  (14)
  3. 2006Até2010  (36)
  4. 2011Até2016  (61)
  5. Após 2016  (48)
  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.