research
∙
09/21/2023
Strong Call-by-Value and Multi Types
This paper provides foundations for strong (that is, possibly under abst...
research
∙
07/14/2021
Useful Open Call-by-Need
This paper studies useful sharing, which is a sophisticated optimization...
research
∙
04/28/2021
Semantic Bounds and Strong Call-by-Value Normalization
This paper explores two topics at once: the use of denotational semantic...
research
∙
02/15/2019