(Q5606035)

English

Greg Morrisett

American computer scientist

  • J. Gregory Morrisett
In more languages
default for all languages
No label defined

No description defined

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