The essence of ornaments
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Functional Programming"
DOI: 10.1017/s0956796816000356
Abstract: Abstract Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely used tool in that trade consists in defining… read more here.
Keywords: essence; essence ornaments;