From shift and reset to polarized linear logic
(via Lambda tha Ultimate)
8p.目次。
- Introduction
- Calculi for shift and reseet
- The original λξ-calculus
- Purity as answer type polymorphism
- Direct-style transforms
- On to polarized liner logic
- Conclusion and related work
- Acknowledgements