skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Haskell uma introdução à programação funcional
Haskell uma introdução à programação funcional
Material Type:
Livro 		Adicionar ao Meu Espaço

Haskell uma introdução à programação funcional

Alexandre Garcia de Oliveira

São Paulo Casa do Código 2017

Localização: IME - Inst. Matemática e Estatística    (QA724 O48h )(Acessar)

2
Programming in Haskell
Programming in Haskell
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming in Haskell

Graham Hutton

Cambridge : Cambridge University Press 2006

Localização: IF - Instituto de Física    (005.133 H984p )(Acessar)

3
Learn you a Haskell for great good! a beginner's guide
Learn you a Haskell for great good! a beginner's guide
Material Type:
Livro 		Adicionar ao Meu Espaço

Learn you a Haskell for great good! a beginner's guide

Miran Lipovača

San Francisco, CA No Starch Press 2011

Emprestado de IME - Inst. Matemática e Estatística    (QA724 L764L )(Acessar)

4
Computational semantics with functional programming
Computational semantics with functional programming
Computational semantics with functional programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational semantics with functional programming

Jan Eijck Christina Unger; Jan van Eijck Christina Unger

Leiden Cambridge University Press 2010

Acesso online. A biblioteca também possui exemplares impressos.

5
To H.B. Curry essays on combinatory logic, lambda calculus, and formalism
To H.B. Curry essays on combinatory logic, lambda calculus, and formalism
Material Type:
Livro 		Adicionar ao Meu Espaço

To H.B. Curry essays on combinatory logic, lambda calculus, and formalism

Haskell B Curry (Haskell Brooks) 1900-; J. Roger Hindley (James Roger); J. P Seldin (Jonathan P.)

London New York Academic Press 1980

Localização: IME - Inst. Matemática e Estatística    (QA2 S464h )(Acessar)

6
Algebras for weighted search
Algebras for weighted search
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebras for weighted search

Kidney, Donnacha Oisín ; Wu, Nicolas

Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-30 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
LWeb: information flow security for multi-tier web applications
LWeb: information flow security for multi-tier web applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

LWeb: information flow security for multi-tier web applications

Parker, James ; Vazou, Niki ; Hicks, Michael

Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Analyzing Program Termination and Complexity Automatically with AProVE
Analyzing Program Termination and Complexity Automatically with AProVE
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analyzing Program Termination and Complexity Automatically with AProVE

Giesl, Jürgen ; Aschermann, Cornelius ; Brockschmidt, Marc ; Emmes, Fabian ; Frohn, Florian ; Fuhs, Carsten ; Hensel, Jera ; Otto, Carsten ; Plücker, Martin ; Schneider-Kamp, Peter ; Ströder, Thomas ; Swiderski, Stephanie ; Thiemann, René

Journal of automated reasoning, 2017, Vol.58 (1), p.3-31 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
9
MAC A verified static information-flow control library
MAC A verified static information-flow control library
Material Type:
Artigo 		Adicionar ao Meu Espaço

MAC A verified static information-flow control library

Vassena, Marco ; Russo, Alejandro ; Buiras, Pablo ; Waye, Lucas

Journal of logical and algebraic methods in programming, 2018-02, Vol.95, p.148-180, Article 148 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Searching entangled program spaces
Searching entangled program spaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Searching entangled program spaces

Koppel, James ; Guo, Zheng ; de Vries, Edsko ; Solar-Lezama, Armando ; Polikarpova, Nadia

Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.23-51 [Periódico revisado por pares]

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (417)
  2. Anais de Congresso  (361)
  3. magazinearticle  (114)
  4. Resenhas  (107)
  5. Book Chapters  (62)
  6. Artigos de Jornal  (21)
  7. Livros  (20)
  8. Dissertações  (17)
  9. Newsletter Articles  (16)
  10. Reports  (8)
  11. Conjunto de Dados  (6)
  12. Imagens  (5)
  13. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (24)
  2. 1980Até1990  (73)
  3. 1991Até2001  (129)
  4. 2002Até2013  (572)
  5. Após 2013  (370)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.129)
  2. Japonês  (32)
  3. Italiano  (16)
  4. Espanhol  (4)
  5. Português  (2)
  6. Francês  (1)
  7. Alemão  (1)
  8. Catalão  (1)
  9. Chinês  (1)
  10. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Curry, H
  2. Taub, A
  3. Hindley, J
  4. Oliveira, A
  5. Eijck, J

Neste Assunto:

  1. Haskell
  2. Science & Technology
  3. Technology
  4. Computer Science
  5. Computer Science, Software Engineering

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

Buscando em bases de dados remotas. Favor aguardar.