Sullivan, Zachary
(University of Oregon, 2018-09-06)
Data types are a widely-used feature of functional programming languages that
allow programmers to create abstractions and control branching
computations. Instances of data types are introduced by applying one of a
disjoint ...