skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: Após 2016 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 Gibbons; Jeremy Gibbons

Cambridge University Press 2020

Acesso online

2
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
3
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Gibbons, Jeremy ; Stevens, Perdita Gibbons, Jeremy ; Stevens, Perdita ; Gibbons, Jeremy ; Stevens, Perdita

Cham: Springer Nature 2018

Sem texto completo

Citações Citado por
4
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
5
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

GIBBONS, JEREMY ; KRISHNAMURTHI, SHRIRAM

Journal of functional programming, 2022, Vol.32, Article e1 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

Gibbons, Jeremy ; Krishnamurthi, Shriram

Journal of functional programming, 2022-01, Vol.32 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

Citações Citado por
7
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

GIBBONS, JEREMY ; KRISHNAMURTHI, SHRIRAM

Journal of functional programming, 2022, Vol.32 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
8
Proceedings Ninth Workshop on Mathematically Structured Functional Programming: Preface
Proceedings Ninth Workshop on Mathematically Structured Functional Programming: Preface
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proceedings Ninth Workshop on Mathematically Structured Functional Programming: Preface

Gibbons, Jeremy ; New, Max S.

Electronic proceedings in theoretical computer science, 2022-06, Vol.360

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
The School of Squiggol: A History of the Bird–Meertens Formalism
The School of Squiggol: A History of the Bird–Meertens Formalism
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The School of Squiggol: A History of the Bird–Meertens Formalism

Gibbons, Jeremy

Formal Methods. FM 2019 International Workshops, p.35-53 [Periódico revisado por pares]

Cham: Springer International Publishing

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 (73)
  2. Revistas revisadas por pares (68)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (69)
  2. Book Chapters  (23)
  3. Livros  (7)
  4. Anais de Congresso  (6)
  5. Reports  (1)
  6. Conjunto de Dados  (1)
  7. Mais opções open sub menu

Autor/Criador 

  1. Gibbons  (1)
  2. Bird  (1)
  3. Gibbons, J  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2017  (1)
  2. 2017Até2017  (14)
  3. 2018Até2018  (24)
  4. 2019Até2020  (20)
  5. Após 2020  (53)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Gibbons
  2. Bird
  3. Gibbons, J

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Computer Science
  4. Humans
  5. Technology

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

Buscando em bases de dados remotas. Favor aguardar.