Login / Signup
Shiwei Weng
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Lambda Calculus
Higher Order
Markov Random Field
Pairwise
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Zachary Palmer
,
Theodore Park
,
Scott F. Smith
,
Shiwei Weng
Higher-order demand-driven symbolic evaluation.
Proc. ACM Program. Lang.
4 (ICFP) (2020)