Inventor
BIERMAN GAVIN
GB6 patents
⚠️ This page may combine multiple inventors who share the name “BIERMAN GAVIN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
LANGWORTHY DAVID E
3 patentsUS8762942B2Jun 24, 2014
Bidirectional type checking for declarative data scripting language
LANGWORTHY DAVID E54 citations93
US8949784B2Feb 3, 2015
Type system for declarative data scripting language
LANGWORTHY DAVID E4 citations72
US8413119B2Apr 2, 2013
Semantic subtyping for declarative data scripting language by calling a prover
LANGWORTHY DAVID E4 citations61
MICROSOFT CORP
3 patentsUS7774376B1Aug 10, 2010
Type-system extensions for object-oriented language based on coercive subtyping with restrictions
MICROSOFT CORP23 citations92
US7912863B1Mar 22, 2011
Compositional lifting of operations over structural types
MICROSOFT CORP11 citations83
US7873592B2Jan 18, 2011
Type inference for object-oriented languages
MICROSOFT CORP16 citations83