Danvy.org
Title
Olivier Danvy's home page
Description
Excerpted from the website:
- A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of State.
Additional Information
Related Domains
External Links
- Alexa: Danvy.org
- WHOIS for Danvy.org
Categories:
- CPS
- CPS Hierarchy
- Calvin And Hobbes
- Continuations
- Crocodile Rock
- Delimited Continuations
- Functional Programming
- Lambda
- Lambda-calculus
- Ls
- ML
- Normalisation By Evaluation
- Normalization By Evaluation
- Olivier Danvy
- Partial Evaluation
- Printf
- Programming
- Programming Languages
- Refocusing
- Scheme
- Semantics
- Shift And Reset
- Type-directed Partial Evaluation