|
gptkbp:instance_of
|
gptkb:physicist
|
|
gptkbp:affiliation
|
gptkb:Brown_University
|
|
gptkbp:awards
|
Best Paper Award
|
|
gptkbp:collaborations
|
gptkb:Matthew_Flatt
gptkb:Robert_Harper
gptkb:Dan_Friedman
gptkb:Shriram_Krishnamurthi
M. F. (Mitch) Smith
|
|
gptkbp:contribution
|
gptkb:Educational_Institution
Functional Programming
|
|
gptkbp:field
|
Computer Science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Shriram Krishnamurthi
|
|
gptkbp:influenced_by
|
gptkb:Alan_Turing
gptkb:Peter_G._Neumark
gptkb:John_W._Mc_Carthy
|
|
gptkbp:known_for
|
Programming Languages
|
|
gptkbp:location
|
gptkb:United_States
|
|
gptkbp:project
|
gptkb:architect
gptkb:musician
gptkb:physicist
gptkb:viewpoint
gptkb:Artificial_Intelligence
gptkb:XMPP_Extension_Protocol
gptkb:Dr_Scheme
gptkb:PLT_Scheme
gptkb:Company
gptkb:software
gptkb:software_framework
gptkb:Cloud_Computing_Service
gptkb:Educational_Institution
gptkb:robot
gptkb:Library
gptkb:Big_Data
gptkb:Racket
Formal Methods
Human-Computer Interaction
Software Verification
Computer Science Education
Distributed Systems
Type Systems
Concurrency
Interactive Programming
Compiler Construction
Programming Paradigms
Programming Language Research
Language Design
Web-based Learning Tools
|
|
gptkbp:publishes
|
gptkb:The_Little_Schemer
The Little M Ler
Programming Languages: Application and Implementation
|
|
gptkbp:research_areas
|
gptkb:architect
Programming Language Design
|
|
gptkbp:training
|
Computer Science
|
|
gptkbp:bfsParent
|
gptkb:Gerald_Jay_Sussman
|
|
gptkbp:bfsLayer
|
4
|