CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Matthias_Felleisen
Property
Value
rdf:
type
American instructional writer
owl:
NamedIndividual
Computer science educator
Fellow of the Association for Computing Machinery
Indiana University alumnus
Living person
Scientist
Northeastern University person
Programming language researcher
rdfs:
label
Matthias Felleisen
owl:
sameAs
dbr:
Matthias_Felleisen
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Khoury_College_of_Computer_Sciences
http://en.wikipedia.org/wiki/Category:Computer_science_educators
http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery
http://en.wikipedia.org/wiki/Category:Indiana_University_alumni
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Lists_of_scientists
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_award
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_field
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_membership
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_nationality
http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_religion
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/Category:Naturalists_by_century
http://en.wikipedia.org/wiki/Category:Scientists
http://en.wikipedia.org/wiki/Category:Scientists_by_century
http://en.wikipedia.org/wiki/Category:Scientists_by_century_and_nationality
http://en.wikipedia.org/wiki/Category:Scientists_by_city
http://en.wikipedia.org/wiki/Category:Scientists_by_continent
http://en.wikipedia.org/wiki/Category:Scientists_by_country_and_city
http://en.wikipedia.org/wiki/Category:Scientists_by_ethnicity
http://en.wikipedia.org/wiki/Category:Scientists_by_field
http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_continent
http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_nationality
http://en.wikipedia.org/wiki/Category:Scientists_by_institution
http://en.wikipedia.org/wiki/Category:Scientists_by_nationality
http://en.wikipedia.org/wiki/Category:Scientists_by_nationality_and_century
http://en.wikipedia.org/wiki/Category:Scientists_by_period
http://en.wikipedia.org/wiki/Category:Scientists_by_religion
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/SIGPLAN
http://en.wikipedia.org/wiki/Category:American_instructional_writers
http://en.wikipedia.org/wiki/Category:Programming_language_researchers
http://en.wikipedia.org/wiki/List_of_programming_language_researchers
http://en.wikipedia.org/wiki/List_of_Northeastern_University_people
http://en.wikipedia.org/wiki/Northeastern_University
skos:
prefLabel
Matthias Felleisen
skos:
altLabel
Felleisen
clgo:
academicDiscipline
Computer scientist
clgo:
award
ACM Fellow
clgo:
institution
Rice University
Northeastern University
clgo:
knownFor
Type safety
A-normal form
Racket (programming language)
Continuation
Gradual typing
Operational semantics
is
clgo:
author
of
How to Design Programs
is
clgo:
doctoralAdvisor
of
Shriram Krishnamurthi