Mark B. Shields, Ph.D.

Affiliations: 
2001 Oregon Graduate Institute of Science and Technology, Hillsboro, OR, United States 
Area:
Computer Science
Google:
"Mark Shields"

Parents

Sign in to add mentor
John Launchbury grad student 2001 Oregon Graduate Institute
 (Static types for dynamic documents.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Jones SP, Vytiniotis D, Weirich S, et al. (2007) Practical type inference for arbitrary-rank types Journal of Functional Programming. 17: 1-82
Lewis JR, Launchbury J, Meijer E, et al. (2000) Implicit parameters: Dynamic scoping with static types Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 108-118
See more...