![](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
Science of Computer Programming, Volume 32
Volume 32, Numbers 1-3, September 1998
- Simon L. Peyton Jones, André L. M. Santos
:
A Transformation-Based Optimiser for Haskell. 3-47 - Geoffrey Smith, Dennis M. Volpano:
A Sound Polymorphic Type System for a Dialect of C. 49-72 - Helmut Seidl, Morten Heine Sørensen:
Constraints to Stop Deforestation. 73-107 - Eva Rose:
Linear-Time Hierarchies for a Functional Language Machine Model. 109-143 - Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone:
Towards a Logical Semantics for Pure Prolog. 145-176 - Roberto Giacobazzi, Francesco Ranzato:
Optimal Domains for Disjunctive Abstract Intepretation. 177-210
![](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.