GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Edwin Brady
URI:
https://gptkb.org/entity/Edwin_Brady
GPTKB entity
Statements (17)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:University_of_Durham
gptkbp:employer
gptkb:University_of_St_Andrews
gptkbp:field
gptkb:logic
gptkb:programming_language
functional programming
https://www.w3.org/2000/01/rdf-schema#label
Edwin Brady
gptkbp:knownFor
gptkb:Idris_programming_language
gptkbp:nationality
British
gptkbp:notableWork
gptkb:Idris:_A_General-Purpose_Dependently_Typed_Programming_Language
gptkb:Type-Driven_Development_with_Idris
gptkbp:occupation
gptkb:computer_scientist
gptkb:software_engineer
gptkbp:position
gptkb:professor
gptkbp:website
https://www.cs.st-andrews.ac.uk/~eb/
gptkbp:bfsParent
gptkb:Idris
gptkbp:bfsLayer
5