Related links
Safe Zero-cost Coercions for Haskell - Penn Engineering
by J BREITNER Cited by 41 Haskell programmers define abstract types by hiding the constructors of newtypes and datatypes. In this case, the creation of values of a type like HTML is
Learn more
nasa handbook nasa-hdbk 8739.23a
Feb 2, 2016 What each device is and examples of use on NASA projects. How electronics engineers design and program the devices. What assurance and
Learn more
Arity-Generic Datatype-Generic Programming
by S Weirich 2010 Cited by 31 Abstract. Some programs are doubly-generic. For example, map is datatype- generic in that many different data structures support a mapping operation.
Learn more