


default search action
Science of Computer Programming, Volume 84
Volume 84, May 2014
- Andy King:

Preface for SCP special issue on Principles and Practice of Declarative Programming. 1-2 - M. H. van Emden:

Matrix Code. 3-21 - Svetlana Jaksic, Luca Padovani

:
Exception handling for copyless messaging. 22-51 - Hayo Thielecke:

On the semantics of parsing actions. 52-76 - Ugo Dal Lago

, Barbara Petit:
Linear dependent types in a call-by-value scenario. 77-100 - Tom Schrijvers

, Bart Demoen, Markus Triska, Benoit Desouter:
Tor: Modular search with hookable disjunction. 101-120

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














