Greg Morrisett (Q5606035)
Jump to navigation
Jump to search
American computer scientist
- J. Gregory Morrisett
Language | Label | Description | Also known as |
---|---|---|---|
English | Greg Morrisett |
American computer scientist |
|
Statements
2013
10 December 2013
For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages (English)
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Greg Morrisett