Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
41 |
Material Type: Livro
|
Stylish F: Crafting Elegant Functional Code for . NET and . NET CoreEason, KitBerkeley, CA: Apress L. P 2018Sem texto completo |
|
42 |
Material Type: Artigo
|
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runSTTimany, Amin ; Stefanesco, Léo ; Krogh-Jespersen, Morten ; Birkedal, LarsProceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-28 [Periódico revisado por pares]ACMTexto completo disponível |
|
43 |
Material Type: Livro
|
Practical OCamlSmith, Joshua BBerkeley, CA: Apress 2007Sem texto completo |
|
44 |
Material Type: Livro
|
Funtional Programming Languages in Education: First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 ProceedingsHartel, Pieter H ; Plasmeijer, Rinus Plasmeijer, Rinus ; Hartel, Pieter H.Berlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
45 |
Material Type: Artigo
|
Purity of an ST Monad Full Abstraction by Semantically Typed Back-TranslationJacobs, Koen ; Devriese, Dominique ; Timany, AminASSOC COMPUTING MACHINERY 2022-04Texto completo disponível |
|
46 |
Material Type: Livro
|
Arrays, Functional Languages, and Parallel SystemsRestifo Mullin, Lenore M ; Jenkins, Michael ; Hains, Gaetan ; Bernecky, Robert ; Guang R. Gao, Guang RNew York, NY: Springer 1991Texto completo disponível |
|
47 |
Material Type: Tese
|
Compiled generics for functional programming languages / Matthew RobertsRoberts, Matthew2011Sem texto completo |
|
48 |
Material Type: Livro
|
Computational Semantics with Functional Programmingvan Eijck, Jan ; Unger, ChristinaCambridge: Cambridge University Press 2010Sem texto completo |
|
49 |
Material Type: Livro
|
Implementation and application of functional languagesScholz, Sven-Bodo ; Chitil, OlafSpringer 2011Sem texto completo |
|
50 |
Material Type: Livro
|
Erlang and Elixir for Imperative ProgrammersLoder, WolfgangBerkeley, CA: Apress L. P 2016Sem texto completo |