31 citations · 74 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DL2021
ICFP 2020 Post-Conference Report
Stephanie Weirich, Benjamin Pierce
This document describes the ICFP 2020 virtual conference, including the planning process and the criteria that informed its design, plus feedback from the post-conference survey. I…
cs.PL2021★ 7 cited
Reasoning about the garden of forking paths
Yao Li, Li-yao Xia, Stephanie Weirich
Lazy evaluation is a powerful tool for functional programmers. It enables the concise expression of on-demand computation and a form of compositionality not available under other e…