Programming Languages Research Community
GPTKB entity
Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
|
| gptkbp:awardReceived |
gptkb:ACM_SIGPLAN_Programming_Languages_Achievement_Award
gptkb:ACM_SIGPLAN_Distinguished_Paper_Award |
| gptkbp:collaboratesWith |
gptkb:ACM
gptkb:IEEE_Computer_Society gptkb:SIGPLAN |
| gptkbp:focusesOn |
gptkb:programming_language
|
| https://www.w3.org/2000/01/rdf-schema#label |
Programming Languages Research Community
|
| gptkbp:includes |
gptkb:researchers
professors students |
| gptkbp:notableConference |
gptkb:ESOP
gptkb:ICFP gptkb:OOPSLA gptkb:PLDI gptkb:POPL |
| gptkbp:notablePublication |
gptkb:Science_of_Computer_Programming
gptkb:ACM_Transactions_on_Programming_Languages_and_Systems gptkb:Journal_of_Functional_Programming |
| gptkbp:organizes |
conferences
workshops |
| gptkbp:publishes |
gptkb:conference
journals |
| gptkbp:studies |
formal semantics
programming language theory type systems compilers language design domain-specific languages program analysis runtime systems |
| gptkbp:bfsParent |
gptkb:Typed_Erlang
|
| gptkbp:bfsLayer |
7
|