Mark B. Shields, Ph.D.
Affiliations: | 2001 | Oregon Graduate Institute of Science and Technology, Hillsboro, OR, United States |
Area:
Computer ScienceGoogle:
"Mark Shields"Parents
Sign in to add mentorJohn Launchbury | grad student | 2001 | Oregon Graduate Institute | |
(Static types for dynamic documents.) |
BETA: Related publications
See more...
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 |