Stephanie Weirich

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 32

Top Topics

Logical Representation

Functional Programs

Lazy Evaluation

Top Venues

Proc. ACM Program. Lang.

Publications