GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
PLFA 8
URI:
https://gptkb.org/entity/PLFA_8
GPTKB entity
Statements (12)
Predicate
Object
gptkbp:instanceOf
gptkb:book
gptkbp:author
gptkb:Philip_Wadler
gptkbp:availableOn
online book
gptkbp:edition
8
https://www.w3.org/2000/01/rdf-schema#label
PLFA 8
gptkbp:language
English
gptkbp:subject
gptkb:programming_language
gptkb:Agda
gptkbp:title
gptkb:Programming_Language_Foundations_in_Agda
gptkbp:usedIn
university courses
gptkbp:bfsParent
gptkb:Polish_American_Football_League
gptkbp:bfsLayer
7