Monotonicity or how to encode polymorphic types safely and efficiently

by Jasmin Christian Blanchette , Sascha Böhme , Nicholas Smallbone
Citations:3 - 2 self