Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSBLP 2015: Belo Horizonte, Brazil
- Alberto Pardo, S. Doaitse Swierstra:
Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings. Lecture Notes in Computer Science 9325, Springer 2015, ISBN 978-3-319-24011-4 - Francisco Demontiê, Junio Cezar R. da Silva, Mariza Andrade da Silva Bigonha
, Frederico Campos, Fernando Magno Quintão Pereira:
Automatic Inference of Loop Complexity Through Polynomial Interpolation. 1-15 - Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro:
Type Inference for GADTs and Anti-unification. 16-30 - Félix Ribeiro, Hisham Muhammad, André Murbach Maidl, Roberto Ierusalimschy:
Preserving Lexical Scoping When Dynamically Embedding Languages. 31-43 - Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira:
The Dinamica Virtual Machine for Geosciences. 44-58 - Haiyang Liu, Zongyan Qiu:
Go Model and Object Oriented Programming. 59-74 - Leonardo Rodríguez:
An Intrinsic Denotational Semantics for a Lazy Functional Language. 75-80 - Felipe L. Silva, Marcelo F. Luna, Wesley Attrot:
Color Flipping. 81-95 - Rafael Lobo, Fernando Castor:
Deadlocks as Runtime Exceptions. 96-111 - Daniel Calegari, Marcos Viera:
Model-Driven Engineering Based on Attribute Grammars. 112-127 - Rafael Bandeira, André Rauber Du Bois, Maurício L. Pilla, Juliana Kaizer Vizzotto, Marcelo Machado:
Composable Memory Transactions for Java Using a Monadic Intermediate Language. 128-142
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
