skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EZB Electronic Journals Library remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Stan: A Probabilistic Programming Language
Stan: A Probabilistic Programming Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Stan: A Probabilistic Programming Language

Carpenter, Bob ; Gelman, Andrew ; Hoffman, Matthew D ; Lee, Daniel ; Goodrich, Ben ; Betancourt, Michael ; Brubaker, Marcus A ; Guo, Jiqiang ; Li, Peter ; Riddell, Allen

Journal of statistical software, 2017, Vol.76 (1), p.1-32 [Periódico revisado por pares]

United States: Foundation for Open Access Statistics

Texto completo disponível

Citações Citado por
2
RustBelt: securing the foundations of the Rust programming language
RustBelt: securing the foundations of the Rust programming language
Material Type:
Artigo 		Adicionar ao Meu Espaço

RustBelt: securing the foundations of the Rust programming language

Jung, Ralf ; Jourdan, Jacques-Henri ; Krebbers, Robbert ; Dreyer, Derek

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

Texto completo disponível

Citações Citado por
3
A simple differentiable programming language
A simple differentiable programming language
Material Type:
Artigo 		Adicionar ao Meu Espaço

A simple differentiable programming language

Abadi, Martín ; Plotkin, Gordon D.

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

Texto completo disponível

Citações Citado por
4
Cubical agda: a dependently typed programming language with univalence and higher inductive types
Cubical agda: a dependently typed programming language with univalence and higher inductive types
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cubical agda: a dependently typed programming language with univalence and higher inductive types

Vezzosi, Andrea ; Mörtberg, Anders ; Abel, Andreas

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

Texto completo disponível

Citações Citado por
5
Programming language semantics: It’s easy as 1,2,3
Programming language semantics: It’s easy as 1,2,3
Material Type:
Artigo 		Adicionar ao Meu Espaço

Programming language semantics: It’s easy as 1,2,3

HUTTON, GRAHAM

Journal of functional programming, 2023-10, Vol.33, Article e9 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
6
Profiling Programming Language Learning
Profiling Programming Language Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Profiling Programming Language Learning

Crichton, Will ; Krishnamurthi, Shriram

Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.29-54, Article 95 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
7
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages

Choudhury, Vikraman ; Karwowski, Jacek ; Sabry, Amr

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

Texto completo disponível

Citações Citado por
8
Image-based many-language programming language identification
Image-based many-language programming language identification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Image-based many-language programming language identification

Del Bonifro, Francesca ; Gabbrielli, Maurizio ; Lategano, Antonio ; Zacchiroli, Stefano

PeerJ. Computer science, 2021-07, Vol.7, p.e631-e631, Article e631 [Periódico revisado por pares]

San Diego: PeerJ. Ltd

Texto completo disponível

Citações Citado por
9
Catala: a programming language for the law
Catala: a programming language for the law
Material Type:
Artigo 		Adicionar ao Meu Espaço

Catala: a programming language for the law

Merigoux, Denis ; Chataing, Nicolas ; Protzenko, Jonathan

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

ACM

Texto completo disponível

Citações Citado por
10
Flipped Classroom with Problem Based Activities: Exploring Self-regulated Learning in a Programming Language Course
Flipped Classroom with Problem Based Activities: Exploring Self-regulated Learning in a Programming Language Course
Material Type:
Artigo 		Adicionar ao Meu Espaço

Flipped Classroom with Problem Based Activities: Exploring Self-regulated Learning in a Programming Language Course

Cakiroglu, Unal ; Ozturk, Mucahit

Educational Technology ＆ Society, 2017-01, Vol.20 (1), p.337-349 [Periódico revisado por pares]

Palmerston North: International Forum of Educational Technology ＆ Society

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. Revistas revisadas por pares (160.765)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (175.904)
  2. magazinearticle  (10.647)
  3. Reports  (2.283)
  4. Anais de Congresso  (2.107)
  5. Resenhas  (1.219)
  6. Newsletter Articles  (57)
  7. Recursos Textuais  (16)
  8. Book Chapters  (8)
  9. Livros  (7)
  10. Documentos Governamentais  (4)
  11. Web Resources  (4)
  12. Conjunto de Dados  (2)
  13. Mais opções open sub menu

Assunto 

  1. Science & Technology  (114.171)
  2. Technology  (51.929)
  3. Life Sciences & Biomedicine  (48.122)
  4. Computer Science  (31.811)
  5. Algorithms  (29.325)
  6. Physical Sciences  (28.666)
  7. Software  (25.163)
  8. Humans  (23.704)
  9. Engineering  (21.414)
  10. Science & Technology - Other Topics  (17.753)
  11. Social Sciences  (16.873)
  12. Machine Learning  (14.858)
  13. Methods  (14.817)
  14. Analysis  (14.092)
  15. Multidisciplinary Sciences  (13.134)
  16. Physics  (12.762)
  17. Artificial Intelligence  (12.432)
  18. Neural Networks  (11.128)
  19. Programming Languages  (10.070)
  20. datasets  (9.715)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1962  (87)
  2. 1962Até1976  (489)
  3. 1977Até1991  (2.167)
  4. 1992Até2007  (23.351)
  5. Após 2007  (166.182)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (190.037)
  2. Japonês  (9.396)
  3. Espanhol  (1.859)
  4. Português  (1.625)
  5. Francês  (547)
  6. Alemão  (509)
  7. Norueguês  (189)
  8. Russo  (127)
  9. Eslovaco  (124)
  10. Polonês  (99)
  11. Tcheco  (82)
  12. Italiano  (74)
  13. Turco  (69)
  14. Ucraniano  (69)
  15. Croatian  (66)
  16. Africâner  (66)
  17. Coreano  (57)
  18. Chinês  (53)
  19. Árabe  (51)
  20. Letão  (47)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.