HASKELL TO LOGIC THROUGH DENOTATIONAL SEMANTICS Dimitrios Vytiniotis, Koen Claessen, Simon Peyton Jones, Dan Rosén POPL 2013, January 2013 1.
Alder IP - Basic Guide to Patents v1-1
Introductory Guide to Intellectual Property & Patents