skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Comprehending Ringads: For Phil Wadler, on the Occasion of his 60th Birthday
Comprehending Ringads: For Phil Wadler, on the Occasion of his 60th Birthday
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Comprehending Ringads: For Phil Wadler, on the Occasion of his 60th Birthday

Gibbons, Jeremy

A List of Successes That Can Change the World, 2016, p.132-151 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
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
4
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
5
APLicative Programming with Naperian Functors
APLicative Programming with Naperian Functors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

APLicative Programming with Naperian Functors

Yang, Hongseok

Programming Languages and Systems, 2017, Vol.10201, p.556-583 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Sem texto completo

Citações Citado por
6
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
7
Unifying Theories of Programming with Monads
Unifying Theories of Programming with Monads
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Unifying Theories of Programming with Monads

Gibbons, Jeremy

Unifying Theories of Programming, p.23-67 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Breadth-First Traversal via Staging
Breadth-First Traversal via Staging
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Breadth-First Traversal via Staging

Komendantskaya, Ekaterina

Mathematics of Program Construction, 2022, Vol.13544, p.1-33 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
9
Fission for Program Comprehension
Fission for Program Comprehension
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Fission for Program Comprehension

Gibbons, Jeremy

Lecture notes in computer science, 2006, p.162-179 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
10
Functional Programming for Domain-Specific Languages
Functional Programming for Domain-Specific Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Functional Programming for Domain-Specific Languages

Zsók, Viktoria ; Horvath, Zoltan ; Csató, Lehel

Central European Functional Programming School, 2015, Vol.8606, p.1-28 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

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

Data de Publicação 

De até
Refinar
  1. Antes de2004  (6)
  2. 2004Até2007  (42)
  3. 2008Até2011  (22)
  4. 2012Até2016  (33)
  5. Após 2016  (24)
  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.