|
gptkbp:instance_of
|
gptkb:Person
|
|
gptkbp:academic_advisor
|
gptkb:John_W._Mc_Carthy
|
|
gptkbp:affiliation
|
gptkb:University_of_Chicago
|
|
gptkbp:award
|
gptkb:IEEE_Fellow
ACM Fellow
|
|
gptkbp:birth_place
|
gptkb:United_States
|
|
gptkbp:contribution
|
Type Systems
Lazy Evaluation
Functional Programming Paradigms
Continuations
|
|
gptkbp:field
|
Computer Science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Daniel Friedman
|
|
gptkbp:influenced
|
gptkb:Matthias_Felleisen
gptkb:Racket_Language
|
|
gptkbp:influenced_by
|
gptkb:Alonzo_Church
gptkb:Gerald_Jay_Sussman
gptkb:John_W._Mc_Carthy
|
|
gptkbp:known_for
|
Computer Science
Functional Programming
Programming Languages
|
|
gptkbp:notable_work
|
gptkb:The_Little_Schemer
The Little MLer
Essentials of Programming Languages
|
|
gptkbp:publication
|
gptkb:The_Little_Schemer
gptkb:The_Scheme_Programming_Language
gptkb:Programming_Languages:_Application_and_Interpretation
The Little MLer
Essentials of Programming Languages
The Little Clojure
The Little Haskell
The Little Java
The Little Racket
|
|
gptkbp:research_interest
|
gptkb:developers
gptkb:Artificial_Intelligence
gptkb:educational_programs
Formal Methods
Type Theory
Compiler Construction
Programming Language Design
|
|
gptkbp:bfsParent
|
gptkb:Friedman_Billings_Ramsey_Group
gptkb:David_Friedman
|
|
gptkbp:bfsLayer
|
5
|