Greg Morrisett (Q5606035)

From Wikidata
Jump to navigation Jump to search
American computer scientist
  • J. Gregory Morrisett
edit
Language Label Description Also known as
English
Greg Morrisett
American computer scientist
  • J. Gregory Morrisett

Statements

0 references
0 references
0 references
0 references
10 December 2013
For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages (English)

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit