Volume 342, Number 1, 6 September 2005
Applied Semantics:
Selected Topics
- Eugenio Moggi:
Applied semantics: Selected topics.
1-2

- Michael Abbott, Thorsten Altenkirch, Neil Ghani:
Containers: Constructing strictly positive types.
3-27

- Mark R. Shinwell, Andrew M. Pitts:
On a monadic semantics for freshness.
28-55

- David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu:
Extracting a data flow analyser in constructive logic.
56-78

- Sandra Alves, Mário Florido:
Weak linearization of the lambda calculus.
79-103

- Philippa Gardner, Sergio Maffeis:
Modelling dynamic web data.
104-131

- James Laird:
Locally Boolean domains.
132-148

- Mads Sig Ager, Olivier Danvy, Jan Midtgaard:
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.
149-172

Volume 342, Numbers 2-3, 7 September 2005
Fundamental Studies
Contributions
Last update Wed May 22 18:53:51 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page