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