![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
SBLP 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.