Robert Harper
Books
- Seventh International Conference on Global Impacts of Applied Microbiology
- Rhizobium-bakteerien geneettinen parantaminen ja vedyn tuoton vähentäminen
- Called to Be Victorious
- The semantics of Standard ML
- The nationalisation of British industry
- An equational formulation of LF
- Colorado mines
- Standard ML
- A type discipline for program modules
- Modules and persistence in standard ML
- Beginning of Days
- Practical Foundations for Programming Languages
- Structure and representation in LF
- Constructing type systems over an operational semantics
- The nationalisation of British industry, or, Compound profits, interest and rent
- Higher-order modules and the phrase distinction
- Introduction to Standard ML
- A framework for defining logics
Author data: Open Library