Cited By
View all- Smith SZhang R(2024)A Pure Demand Operational Semantics with Applications to Program AnalysisProceedings of the ACM on Programming Languages10.1145/36498528:OOPSLA1(1154-1180)Online publication date: 29-Apr-2024
- Palmer ZPark TSmith SWeng S(2020)Higher-order demand-driven symbolic evaluationProceedings of the ACM on Programming Languages10.1145/34089844:ICFP(1-28)Online publication date: 3-Aug-2020