Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Stan: A Probabilistic Programming LanguageCarpenter, Bob ; Gelman, Andrew ; Hoffman, Matthew D ; Lee, Daniel ; Goodrich, Ben ; Betancourt, Michael ; Brubaker, Marcus A ; Guo, Jiqiang ; Li, Peter ; Riddell, AllenJournal of statistical software, 2017, Vol.76 (1), p.1-32 [Periódico revisado por pares]United States: Foundation for Open Access StatisticsTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
RustBelt: securing the foundations of the Rust programming languageJung, Ralf ; Jourdan, Jacques-Henri ; Krebbers, Robbert ; Dreyer, DerekProceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34 [Periódico revisado por pares]Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
A simple differentiable programming languageAbadi, 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 |
4 |
Material Type: Artigo
|
![]() |
Cubical agda: a dependently typed programming language with univalence and higher inductive typesVezzosi, Andrea ; Mörtberg, Anders ; Abel, AndreasProceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-29 [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Programming language semantics: It’s easy as 1,2,3HUTTON, GRAHAMJournal of functional programming, 2023-10, Vol.33, Article e9 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Profiling Programming Language LearningCrichton, Will ; Krishnamurthi, ShriramProceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.29-54, Article 95 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languagesChoudhury, Vikraman ; Karwowski, Jacek ; Sabry, AmrProceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-32 [Periódico revisado por pares]Texto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Image-based many-language programming language identificationDel Bonifro, Francesca ; Gabbrielli, Maurizio ; Lategano, Antonio ; Zacchiroli, StefanoPeerJ. Computer science, 2021-07, Vol.7, p.e631-e631, Article e631 [Periódico revisado por pares]San Diego: PeerJ. LtdTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Catala: a programming language for the lawMerigoux, Denis ; Chataing, Nicolas ; Protzenko, JonathanProceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-29 [Periódico revisado por pares]ACMTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Flipped Classroom with Problem Based Activities: Exploring Self-regulated Learning in a Programming Language CourseCakiroglu, Unal ; Ozturk, MucahitEducational Technology & Society, 2017-01, Vol.20 (1), p.337-349 [Periódico revisado por pares]Palmerston North: International Forum of Educational Technology & SocietyTexto completo disponível |