| dbo:abstract |
Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing. (ca) روبن ميلنر (بالإنجليزية: Robin Milner) (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991. (ar) Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger. (de) Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010). Prominente científico británico en Informática. Graduado en el King's College (Cambridge) en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge hasta su fallecimiento. Generalmente se mencionan tres grandes contribuciones de Milner en computación: * Desarrolló el sistema LCF que fue una de las primeras herramientas de demostración automática de teoremas * Desarrollo del lenguaje ML, que era el meta lenguaje para escribir estrategias y tácticas en LCF. También fue el primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos. * Desarrollo de un marco teórico para el análisis de sistemas concurrentes, el cálculo de sistemas comunicantes y su sucesor, el cálculo pi. En 1988 fue nombrado miembro de la Royal Society y en 1991 recibió el Premio Turing de la ACM. Falleció el 20 de marzo de 2010 en Cambridge. (es) Arthur John Robin Gorell Milner, né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge, est un informaticien britannique. (fr) Robin Milner adalah ilmuwan komputer dari Inggris. Milner lulus dari King's College, Cambridge pada tahun 1957, dan sempat menjadi guru, dan programmer sebelum akhirnya kembali ke dunia akademik. Posisi terakhir yang dijabatnya adalah sebagai kepala lab di hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan , alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama . Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai (CCS), dan kemudian dikembangkan menjadi pi-Calculus. Pada tahun 1991, Milner mendapat penghargaan Turing Award. (in) Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner. (en) Arthur John Robin Gorell Milner (Plymouth, 13 gennaio 1934 – Cambridge, 20 marzo 2010) è stato un informatico britannico, vincitore del premio Turing nel 1991. (it) Robin Milner (Plymouth, 13 januari 1934 – Cambridge, 20 maart 2010) was een Brits informaticus. Hij is vooral bekend als de ontwikkelaar van de automatische stellingbewijzer LCF en de programmeertaal ML. Bovendien hield hij zich bezig met , in het bijzonder de Calculus of Concurrent Systems en diens opvolger de π-Calculus. (nl) アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。 (ja) Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. Od 1988 był członkiem Royal Society. Twórca (Logic for Computable Functions) – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML stworzonego na potrzeby LCF. (pl) Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем. Член Лондонского королевского общества (1988), иностранный член Французской академии наук (2005), Национальной инженерной академии США (2008). (ru) Arthur John Robin Gorell Milner (Plymouth, 13 de janeiro de 1934) é um informático britânico. Foi eleito membro da Royal Society em 1988. (pt) Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики. (uk) 亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。 (zh) |
| dbo:academicDiscipline |
dbr:Computer_science |
| dbo:award |
dbr:Turing_Award dbr:Fellow_of_the_Royal_Society dbr:Distinguished_Fellow_of_the_British_Computer_Society dbr:Royal_Society_of_Edinburgh |
| dbo:birthDate |
1934-01-13 (xsd:date) |
| dbo:birthName |
Arthur John Robin Gorell Milner (en) |
| dbo:birthPlace |
dbr:England dbr:Plymouth dbr:Yealmpton |
| dbo:deathDate |
2010-03-20 (xsd:date) |
| dbo:deathPlace |
dbr:Cambridge dbr:England |
| dbo:doctoralStudent |
dbr:Davide_Sangiorgi dbr:Mads_Tofte dbr:Faron_Moller dbr:Chris_Tofts |
| dbo:knownFor |
dbr:LCF_theorem_prover dbr:ML_programming_language dbr:Calculus_of_communicating_systems dbr:Type_inference dbr:Pi-calculus |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Robin_Milner.jpg?width=300 |
| dbo:wikiPageExternalLink |
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Milner:Robin.html http://homepages.inf.ed.ac.uk/gdp/publications/Robin_sci_biog.pdf https://web.archive.org/web/20050913044150/http:/mitpress.mit.edu/catalog/item/default.asp%3Ftid=3797&ttype=2 https://web.archive.org/web/20051126170930/http:/www.fairdene.com/picalculus/robinmilner.html https://web.archive.org/web/20110720222451/http:/www.diffusion.ens.fr/data/audio/2007_12_10_milner.mp3 http://www8.nationalacademies.org/onpinews/newsitem.aspx%3FRecordID=02082008 http://www.royalsoced.org.uk/rse_press/2004/medals.htm http://www.cs.unibo.it/icalp/Lauree_milner.html https://www.simple-talk.com/opinion/geek-of-the-week/robin-milner-geek-of-the-week/ |
| dbo:wikiPageID |
93547 (xsd:integer) |
| dbo:wikiPageLength |
11225 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1107473023 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Cambridge dbr:Cambridge_University_Press dbc:Foreign_associates_of_the_National_Academy_of_Engineering dbc:Programming_language_researchers dbr:Programmer dbr:Royal_Engineers dbr:Royal_Society dbr:Ubiquitous_computing dbc:Members_of_the_University_of_Cambridge_Computer_Laboratory dbc:People_from_South_Hams_(district) dbr:University_of_Bologna dbr:University_of_Cambridge dbr:University_of_Edinburgh dbr:Davide_Sangiorgi dbr:Prentice_Hall_International_Series_in_Computer_Science dbr:LCF_theorem_prover dbr:ML_programming_language dbr:École_Normale_Supérieure dbr:England dbr:Gordon_Plotkin dbr:Laboratory_for_Foundations_of_Computer_Science dbr:MIT_Press dbr:Mads_Tofte dbr:Calculus_of_communicating_systems dbr:Bigraphs dbr:Stanford_University dbr:Computer_science dbr:Computer_scientist dbr:Fellow dbr:Polymorphism_(computer_science) dbr:Automated_theorem_proving dbc:1934_births dbc:2010_deaths dbc:Academics_of_Swansea_University dbc:Academics_of_the_University_of_Edinburgh dbc:Alumni_of_King's_College,_Cambridge dbc:Fellows_of_the_Royal_Society dbc:Fellows_of_the_Royal_Society_of_Edinburgh dbc:People_educated_at_Eton_College dbc:Royal_Engineers_officers dbc:Stanford_University_School_of_Engineering_faculty dbr:British_Computer_Society dbr:British_people dbc:Turing_Award_laureates dbr:Turing_Award dbr:Logic_for_Computable_Functions dbr:Aarhus_University dbr:DBLP dbr:Eton_College dbr:Exception_handling dbr:Faron_Moller dbr:Fellow_of_the_Royal_Society dbr:King's_Scholar dbr:Heart_attack dbr:Hindley–Milner_type_system dbr:Association_for_Computing_Machinery dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Fellows_of_the_British_Computer_Society dbc:Members_of_the_French_Academy_of_Sciences dbc:British_computer_scientists dbc:Academics_of_City,_University_of_London dbc:Formal_methods_people dbc:Programming_language_designers dbc:Computer_science_writers dbr:King's_College,_Cambridge dbr:LNCS dbr:Swansea_University dbr:George_Tomline_(politician) dbr:Distinguished_Fellow_of_the_British_Computer_Society dbr:Plymouth dbr:Ferranti dbr:Milner_Award dbr:National_Academy_of_Engineering dbr:Chris_Tofts dbr:Yealmpton dbr:Royal_Society_of_Edinburgh dbr:Type_inference dbr:Springer-Verlag dbr:The_MIT_Press dbr:City_University,_London dbr:Cambridge_University_Computer_Laboratory dbr:Pi-calculus dbr:Concurrent_systems |
| dbp:birthDate |
1934-01-13 (xsd:date) |
| dbp:birthName |
Arthur John Robin Gorell Milner (en) |
| dbp:birthPlace |
dbr:England dbr:Plymouth dbr:Yealmpton |
| dbp:deathDate |
2010-03-20 (xsd:date) |
| dbp:deathPlace |
dbr:Cambridge dbr:England |
| dbp:doctoralAdvisor |
None, as Milner never did a PhD (en) |
| dbp:doctoralStudents |
dbr:Davide_Sangiorgi dbr:Mads_Tofte dbr:Faron_Moller dbr:Chris_Tofts |
| dbp:field |
dbr:Computer_science |
| dbp:knownFor |
dbr:Calculus_of_communicating_systems (en) LCF (en) ML (en) Hindley–Milner type inference (en) -calculus (en) Theory of Computer Science (en) |
| dbp:name |
Robin Milner (en) |
| dbp:prizes |
(en) FRS (en) Turing Award (en) FRSE (en) DFBCS (en) Foreign Associate, NAE (en) |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:Birth_date dbt:ISBN dbt:Pi dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Death_date_and_age dbt:Postnominals dbt:EATCS_Award_laureates dbt:Infobox_scientist dbt:Turing_award |
| dbp:wordnet_type |
http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1 |
| dbp:workInstitution |
Aarhus University (en) Ferranti (en) Stanford University (en) Swansea University (en) University of Cambridge (en) University of Edinburgh (en) (en) City University, London (en) |
| dcterms:subject |
dbc:Foreign_associates_of_the_National_Academy_of_Engineering dbc:Programming_language_researchers dbc:Members_of_the_University_of_Cambridge_Computer_Laboratory dbc:People_from_South_Hams_(district) dbc:1934_births dbc:2010_deaths dbc:Academics_of_Swansea_University dbc:Academics_of_the_University_of_Edinburgh dbc:Alumni_of_King's_College,_Cambridge dbc:Fellows_of_the_Royal_Society dbc:Fellows_of_the_Royal_Society_of_Edinburgh dbc:People_educated_at_Eton_College dbc:Royal_Engineers_officers dbc:Stanford_University_School_of_Engineering_faculty dbc:Turing_Award_laureates dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Fellows_of_the_British_Computer_Society dbc:Members_of_the_French_Academy_of_Sciences dbc:British_computer_scientists dbc:Academics_of_City,_University_of_London dbc:Formal_methods_people dbc:Programming_language_designers dbc:Computer_science_writers |
| gold:hypernym |
dbr:Scientist |
| schema:sameAs |
http://viaf.org/viaf/10415187 |
| rdf:type |
owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatBritishComputerScientists yago:WikicatBritishPeople dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatComputerScienceWriters yago:WikicatComputerScientists schema:Person yago:WikicatTuringAwardLaureates yago:WikicatPeopleEducatedAtEtonCollege yago:WikicatPeopleFromDevon yago:WikicatRoyalEngineersOfficers wikidata:Q901 yago:Academician109759069 yago:Acquirer109764201 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Communicator109610660 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:Expert109617867 yago:Honoree110183757 yago:Intellectual109621545 yago:InteriorDesigner110210648 yago:Laureate110249011 yago:LivingThing100004258 yago:MilitaryOfficer110317007 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:Recipient109627906 yago:ResearchWorker110523076 yago:Worker109632518 yago:Writer110794014 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Serviceman110582746 yago:SkilledWorker110605985 yago:Specialist110631941 yago:Whole100003553 yago:WikicatAcademicsOfCityUniversityLondon yago:WikicatAcademicsOfSwanseaUniversity yago:WikicatAcademicsOfTheUniversityOfEdinburgh yago:WikicatAlumniOfKing'sCollege,Cambridge yago:WikicatFellowsOfTheAssociationForComputingMachinery yago:WikicatFellowsOfTheBritishComputerSociety yago:WikicatFellowsOfTheRoyalSociety yago:WikicatFellowsOfTheRoyalSocietyOfEdinburgh yago:WikicatFormalMethodsPeople yago:WikicatProgrammingLanguageDesigners yago:WikicatProgrammingLanguageResearchers |
| rdfs:comment |
Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing. (ca) روبن ميلنر (بالإنجليزية: Robin Milner) (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991. (ar) Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger. (de) Arthur John Robin Gorell Milner, né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge, est un informaticien britannique. (fr) Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner. (en) Arthur John Robin Gorell Milner (Plymouth, 13 gennaio 1934 – Cambridge, 20 marzo 2010) è stato un informatico britannico, vincitore del premio Turing nel 1991. (it) Robin Milner (Plymouth, 13 januari 1934 – Cambridge, 20 maart 2010) was een Brits informaticus. Hij is vooral bekend als de ontwikkelaar van de automatische stellingbewijzer LCF en de programmeertaal ML. Bovendien hield hij zich bezig met , in het bijzonder de Calculus of Concurrent Systems en diens opvolger de π-Calculus. (nl) アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。 (ja) Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. Od 1988 był członkiem Royal Society. Twórca (Logic for Computable Functions) – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML stworzonego na potrzeby LCF. (pl) Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем. Член Лондонского королевского общества (1988), иностранный член Французской академии наук (2005), Национальной инженерной академии США (2008). (ru) Arthur John Robin Gorell Milner (Plymouth, 13 de janeiro de 1934) é um informático britânico. Foi eleito membro da Royal Society em 1988. (pt) Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики. (uk) 亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。 (zh) Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010). Prominente científico británico en Informática. Graduado en el King's College (Cambridge) en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge hasta su fallecimiento. Generalmente se mencionan tres grandes contribuciones de Milner en computación: (es) Robin Milner adalah ilmuwan komputer dari Inggris. Milner lulus dari King's College, Cambridge pada tahun 1957, dan sempat menjadi guru, dan programmer sebelum akhirnya kembali ke dunia akademik. Posisi terakhir yang dijabatnya adalah sebagai kepala lab di hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan , alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama . Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai (CCS), dan kemudian dikembangkan menjadi pi-Calculus. (in) |
| rdfs:label |
Robin Milner (en) روبن ميلنر (ar) Robin Milner (ca) Robin Milner (de) Robin Milner (eo) Robin Milner (es) Robin Milner (in) Robin Milner (fr) Robin Milner (it) Robin Milner (nl) ロビン・ミルナー (ja) Robin Milner (pl) Robin Milner (pt) Милнер, Робин (ru) Робін Мілнер (uk) 罗宾·米尔纳 (zh) |
| owl:sameAs |
freebase:Robin Milner http://www4.wiwiss.fu-berlin.de/dblp/resource/person/109330 yago-res:Robin Milner http://d-nb.info/gnd/128466081 http://viaf.org/viaf/10415187 https://dblp.org/pid/m/RobinMilner wikidata:Robin Milner http://data.bibliotheken.nl/id/thes/p074620355 dbpedia-ar:Robin Milner http://arz.dbpedia.org/resource/روبن_ميلنر dbpedia-az:Robin Milner http://azb.dbpedia.org/resource/رابین_میلز http://bn.dbpedia.org/resource/রবিন_মিলনার dbpedia-ca:Robin Milner dbpedia-de:Robin Milner dbpedia-eo:Robin Milner dbpedia-es:Robin Milner dbpedia-fa:Robin Milner dbpedia-fr:Robin Milner dbpedia-id:Robin Milner dbpedia-it:Robin Milner dbpedia-ja:Robin Milner http://mg.dbpedia.org/resource/Robin_Milner dbpedia-nl:Robin Milner dbpedia-pl:Robin Milner dbpedia-pt:Robin Milner dbpedia-ro:Robin Milner dbpedia-ru:Robin Milner dbpedia-sh:Robin Milner dbpedia-sk:Robin Milner dbpedia-sr:Robin Milner dbpedia-tr:Robin Milner dbpedia-uk:Robin Milner dbpedia-vi:Robin Milner dbpedia-zh:Robin Milner https://global.dbpedia.org/id/55G7A |
| prov:wasDerivedFrom |
wikipedia-en:Robin_Milner?oldid=1107473023&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Robin_Milner.jpg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Robin_Milner |
| foaf:name |
Robin Milner (en) |
| is dbo:designer of |
dbr:ML_(programming_language) |
| is dbo:doctoralAdvisor of |
dbr:Davide_Sangiorgi dbr:Mads_Tofte dbr:Alan_Mycroft |
| is dbo:wikiPageRedirects of |
dbr:Arthur_John_Robin_Gorell_Milner dbr:R._Milner dbr:A_J_Milner |
| is dbo:wikiPageWikiLink of |
dbr:Programming_Computable_Functions dbr:School_of_Informatics,_University_of_Edinburgh dbr:List_of_University_of_Cambridge_people dbr:List_of_computer_scientists dbr:List_of_fellows_of_the_Royal_Society_M,_N,_O dbr:List_of_fellows_of_the_Royal_Society_elected_in_1988 dbr:Milner_(surname) dbr:Power_domains dbr:2010_in_the_United_Kingdom dbr:Bigraph dbr:Denotational_semantics dbr:Department_of_Computer_Science_and_Technology,_University_of_Cambridge dbr:List_of_Old_Etonians_born_in_the_20th_century dbr:List_of_University_of_Edinburgh_people dbr:List_of_pioneers_in_computer_science dbr:University_of_Edinburgh dbr:Davide_Sangiorgi dbr:Deaths_in_March_2010 dbr:International_Conference_on_Concurrency_Theory dbr:List_of_programming_language_researchers dbr:Prentice_Hall_International_Series_in_Computer_Science dbr:1991_in_science dbr:City,_University_of_London dbr:Gordon_Plotkin dbr:2010_in_science dbr:ML_(programming_language) dbr:Mads_Tofte dbr:Calculus_of_communicating_systems dbr:Stanford_University dbr:Communicating_sequential_processes dbr:Denotational_semantics_of_the_Actor_model dbr:Federated_Computing_Research_Conference dbr:Functional_programming dbr:Hennessy–Milner_logic dbr:PEPA dbr:Programming_language_theory dbr:Temporal_Process_Language dbr:Matthew_Hennessy dbr:BCS-FACS dbr:Actor_model_and_process_calculi_history dbr:Timeline_of_programming_languages dbr:Turing_Award dbr:Logic_for_Computable_Functions dbr:Logic_of_Computable_Functions dbr:Actor_model dbr:Actor_model_and_process_calculi dbr:Faron_Moller dbr:History_of_programming_languages dbr:King's_Scholar dbr:List_of_Stanford_University_people dbr:Arthur_John_Robin_Gorell_Milner dbr:Hindley–Milner_type_system dbr:API-Calculus dbr:Alan_Mycroft dbr:Swansea_University dbr:George_Tomline_(politician) dbr:Distinguished_Fellow_of_the_British_Computer_Society dbr:Awards,_lectures_and_medals_of_the_Royal_Society dbr:Bunched_logic dbr:ISWIM dbr:Michael_J._C._Gordon dbr:Milner_Award dbr:OCaml dbr:Chris_Tofts dbr:Process_calculus dbr:Π-calculus dbr:Mark_Burgess_(computer_scientist) dbr:Robert_Harper_(computer_scientist) dbr:Royal_Society_of_Edinburgh dbr:Type_safety dbr:Type_inference dbr:European_Association_for_Theoretical_Computer_Science dbr:SIGPLAN dbr:Polymorphic_recursion dbr:Stanford_University_Computer_Science dbr:Philippa_Gardner dbr:R._Milner dbr:A_J_Milner |
| is dbp:doctoralAdvisor of |
dbr:Davide_Sangiorgi dbr:Mads_Tofte |
| is foaf:primaryTopic of |
wikipedia-en:Robin_Milner |
