This HTML5 document contains 136 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n27http://research.microsoft.com/en-us/um/people/akenn/coq/
n26http://www.ioc.ee/~james/papers/
dctermshttp://purl.org/dc/terms/
n29https://www.youtube.com/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n28http://www.cs.nott.ac.uk/~txa/publ/
n16http://www.lfcs.inf.ed.ac.uk/reports/00/ECS-LFCS-00-419/
n23https://dblp.org/pid/34/
n15https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
n12https://orcid.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n33http://cs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/
n25http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
n32http://viaf.org/viaf/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://strictlypositive.org/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
n24https://www.cs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/
dbrhttp://dbpedia.org/resource/
n20http://personal.cis.strath.ac.uk/
n7http://d-nb.info/gnd/

Statements

Subject Item
dbr:Conor_McBride
rdf:type
yago:Adult109605289 schema:Person yago:Educator110045713 wikidata:Q5 yago:PhysicalEntity100001930 yago:Academician109759069 dbo:Species dbo:Scientist yago:WikicatAcademicsOfTheUniversityOfStrathclyde yago:WikicatAlumniOfTheUniversityOfEdinburgh yago:Scholar110557854 yago:Object100002684 yago:YagoLegalActor yago:YagoLegalActorGeo yago:WikicatLivingPeople dbo:Person yago:Professional110480253 dbo:Artist yago:LivingThing100004258 yago:Whole100003553 yago:Intellectual109621545 wikidata:Q901 wikidata:Q19088 foaf:Person owl:Thing yago:Alumnus109786338 yago:Scientist110560637 yago:ComputerScientist109951070 yago:ComputerUser109951274 n25:NaturalPerson yago:Organism100004475 dbo:Eukaryote yago:CausalAgent100007347 yago:WikicatBritishComputerScientists wikidata:Q215627 yago:Person100007846 wikidata:Q729 dbo:Animal
rdfs:label
Conor McBride
rdfs:comment
Conor McBride (born 18 February 1973) is a Reader in the department of Computer and Information Sciences at the University of Strathclyde. In 1999, he completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for his work in type theory. He formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde. He favors and often uses the language Haskell.
foaf:name
Conor McBride
foaf:homepage
n20:conor.mcbride
dbp:name
Conor McBride
dbo:birthPlace
dbr:Newtownards dbr:Northern_Ireland
dbp:birthPlace
dbr:Northern_Ireland dbr:Newtownards
dbo:birthDate
1973-02-18
dcterms:subject
dbc:Academics_of_the_University_of_Strathclyde dbc:Alumni_of_the_University_of_Edinburgh dbc:British_computer_scientists dbc:Living_people dbc:1973_births
dbo:wikiPageID
33675264
dbo:wikiPageRevisionID
1108387364
dbo:wikiPageWikiLink
dbr:Northern_Ireland dbr:Journal_of_Functional_Programming dbr:Doctor_of_Philosophy dbr:ALGOL_60 dbr:International_Federation_for_Information_Processing dbr:Newtownards dbr:University_of_Edinburgh dbc:Alumni_of_the_University_of_Edinburgh dbc:Academics_of_the_University_of_Strathclyde dbr:Epigram_(programming_language) dbr:United_Kingdom dbr:ALGOL_68 dbr:Lecture_Notes_in_Computer_Science dbr:Durham_University dbr:University_of_Strathclyde dbr:Specification_(technical_standard) dbr:International_standard dbr:IFIP_Working_Group_2.1 dbc:British_computer_scientists dbr:Haskell_(programming_language) dbr:Royal_Holloway,_University_of_London dbr:Programming_language dbr:Information_and_computer_science dbr:Type_theory dbc:1973_births dbr:Computer_science dbc:Living_people
dbo:wikiPageExternalLink
n16:ECS-LFCS-00-419.pdf n18:diff.pdf n18:vfl.pdf n24:conor-elimination.pdf n18:IdiomLite.pdf n18:thesis.pdf n26:levitation.pdf n27:jartypedsyntax.pdf n28:ssgp06.pdf n28:tlca03.pdf n28:ydtm.pdf n29:watch%3Fv=XGyJ519RY6Y n29:watch%3Fv=vQXIABaDgjo&list=PL44F162A8B8CB7C87 n33:epigram-notes.pdf
owl:sameAs
n7:1066288755 n12:0000-0003-1487-0886 freebase:m.0hhtwb_ n15:4iN5t yago-res:Conor_McBride n23:6643 wikidata:Q5162250 n32:21672684
dbp:thesisTitle
Dependently Typed Functional Programs and their Proofs
dbp:thesisUrl
n16:ECS-LFCS-00-419.pdf
dbp:thesisYear
1999
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:DBLP dbt:Reflist dbt:Use_dmy_dates dbt:EngvarB dbt:Cite_AV_media dbt:Official_website dbt:Infobox_scientist dbt:Authority_control dbt:Cite_journal dbt:MathGenealogy dbt:Birth_date_and_age dbt:Cite_book dbt:Use_British_English
dbp:almaMater
dbr:University_of_Edinburgh
dbp:birthDate
1973-02-18
dbp:caption
Conor in his natural habitat
dbp:citizenship
dbr:United_Kingdom
dbp:fields
dbr:Type_theory dbr:Computer_science
dbo:abstract
Conor McBride (born 18 February 1973) is a Reader in the department of Computer and Information Sciences at the University of Strathclyde. In 1999, he completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for his work in type theory. He formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde. He was involved with developing international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68. He favors and often uses the language Haskell.
dbo:citizenship
dbr:United_Kingdom
gold:hypernym
dbr:Lecturer
prov:wasDerivedFrom
wikipedia-en:Conor_McBride?oldid=1108387364&ns=0
dbo:wikiPageLength
10275
dbo:academicDiscipline
dbr:Computer_science dbr:Type_theory
dbo:almaMater
dbr:University_of_Edinburgh
foaf:isPrimaryTopicOf
wikipedia-en:Conor_McBride