Programming Languages Team

URI: https://gptkb.org/entity/Programming_Languages_Team
GPTKB entity
Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:research_institute
gptkbp:affiliatedWith gptkb:MIT_Computer_Science_and_Artificial_Intelligence_Laboratory
gptkbp:focusesOn gptkb:programming_language
compilers
software verification
https://www.w3.org/2000/01/rdf-schema#label Programming Languages Team
gptkbp:locatedIn gptkb:Cambridge,_Massachusetts
gptkbp:notableMember gptkb:Gerald_Jay_Sussman
gptkb:Guy_L._Steele_Jr.
gptkbp:notableProject gptkb:Scheme_programming_language
gptkbp:bfsParent gptkb:PLT_group
gptkbp:bfsLayer 8