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
Copyright © Mon Nov 2 21:56:23 2009
by Michael Ley (ley@uni-trier.de)