Statements (83)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Computer_Scientist
|
| gptkbp:alma_mater |
gptkb:University_of_Cambridge
gptkb:University_of_Edinburgh |
| gptkbp:award |
gptkb:Turing_Award
|
| gptkbp:birth_date |
1934-01-13
|
| gptkbp:children |
Sarah Milner
David Milner |
| gptkbp:death_date |
2010-03-20
|
| gptkbp:employees |
gptkb:University_of_Cambridge
gptkb:Microsoft_Research |
| gptkbp:field |
gptkb:computer_science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Robin Milner
|
| gptkbp:influenced |
gptkb:Haskell
|
| gptkbp:influenced_by |
gptkb:John_W._Mc_Carthy
|
| gptkbp:known_for |
gptkb:LISP_programming_language
Computer science education Formal methods Functional programming Programming language design Software verification Programming paradigms Functional programming languages Research in computer graphics concurrent programming Interactive theorem proving theorem proving Research in software engineering Programming language semantics Type inference Concurrency theory Research in mathematics Research in artificial intelligence Research in machine learning Research in database systems Research in logic Research in computer vision Research in programming languages Research in distributed systems Research in human-computer interaction Research in programming language theory Research in software maintenance Research in software testing Theorem proving in higher-order logic Research in computer architecture Research in algorithm design Research in software project management Research in software reliability Research in software engineering education Research in computational theory Research in data structures Research in software architecture Research in software metrics Research in software process improvement Research in network protocols Research in software configuration management Research in software engineering methodologies Research in software engineering practices Research in software evolution ML programming language Research in software deployment Research in software performance Research in software security Research in software usability The ML Kit Research in software development Caml programming language Research in programming tools Research in software engineering research. Research in software engineering tools Research in software quality Research in systems theory The Edinburgh LCF The Pi calculus |
| gptkbp:nationality |
gptkb:British
|
| gptkbp:notable_feature |
Type systems
Process calculus Structural operational semantics |
| gptkbp:place_of_birth |
gptkb:Bristol,_England
|
| gptkbp:place_of_death |
gptkb:Cambridge,_England
|
| gptkbp:spouse |
Diana Milner
|
| gptkbp:bfsParent |
gptkb:Standard_ML
gptkb:ML |
| gptkbp:bfsLayer |
5
|