This HTML5 document contains 118 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n18http://www.cs.indiana.edu/cgi-bin/techreports/
n28https://mitpress.mit.edu/books/
dbthttp://dbpedia.org/resource/Template:
n30http://azb.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
n36https://web.archive.org/web/20150426092105/http:/www.ccs.neu.edu/home/matthias/BTLS/
dbrhttp://dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
n35http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n23http://viaf.org/viaf/
n22https://felleisen.org/matthias/
schemahttp://schema.org/
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n27http://d-nb.info/gnd/
n38https://the-little-prover.github.io/
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbohttp://dbpedia.org/ontology/
dbchttp://dbpedia.org/resource/Category:
n29http://data.bibliotheken.nl/id/thes/
n34https://www.youtube.com/
yagohttp://dbpedia.org/class/yago/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
n16https://global.dbpedia.org/id/
yago-reshttp://yago-knowledge.org/resource/
n32http://www.ccs.neu.edu/home/matthias/BTLS/
n21http://www.cs.indiana.edu/~dfried/
n19http://www.cs.indiana.edu/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n37http://dbpedia.org/resource/Coordinated_Computing:
n31https://eopl3.com/
freebasehttp://rdf.freebase.com/ns/
n6https://dblp.org/pid/f/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Daniel_P._Friedman
rdf:type
foaf:Person yago:Object100002684 wikidata:Q729 yago:WikicatLivingPeople dbo:Animal wikidata:Q5 yago:LivingThing100004258 yago:CausalAgent100007347 yago:Scientist110560637 schema:Person yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 dbo:Species dbo:Scientist wikidata:Q19088 yago:ResearchWorker110523076 yago:Organism100004475 dbo:Person yago:Person100007846 wikidata:Q901 yago:WikicatProgrammingLanguageResearchers yago:PhysicalEntity100001930 n35:NaturalPerson wikidata:Q215627 owl:Thing dbo:Eukaryote
rdfs:label
丹尼尔·福瑞得曼 دانيال بي فريدمان Daniel P. Friedman
rdfs:comment
Daniel Paul Friedman (born 1944) is a professor of Computer Science at Indiana University in Bloomington, Indiana. His research focuses on programming languages, and he is a prominent author in the field. Friedman is also a prolific textbook author. His first textbook, The Little LISPer, dates back to 1974 and is still in print in its fourth edition, now called The Little Schemer (with Felleisen). Friedman and Felleisen wrote three more "little" books in the 1990s: The Little MLer, The Seasoned Schemer, and A Little Java, A Few Patterns. 丹尼尔·弗里德曼（英語：Daniel Paul Friedman，生于1944年），在美国印第安纳大学伯明顿分校担任计算机科学教授，专攻程序语言研究领域，为该领域的权威。 1976年他和David Wise合作发表了影响深远的论文《Cons should not evaluate its arguments》 。 在接下来的八十年代，他转而研究Scheme语言，探讨了用宏来定义程序语言。他和其他几位作者合作发表了被至今仍广泛引用的论文，引入了干净的宏（Hygienic macro）的概念。和Haynes以及Wand, 他同时研究了连续对象本质、使用及约束可能性。 随后，他和 引入了λ演算，以及 Continuation和。 他们的工作催生了在经典逻辑和计算于连续实际扩展之间的语意和联系方面的研究。 弗里德曼博士是位多产的教科书作者。他的第一本著作《The Little Lisper》写于1974年，时至今日再版第四版了，书更名为《The Little Schemer》。在1990年代，他和撰写发布了另外三本little系列丛书，《The Little MLer》, 《The Seasoned Schemer》, 和《A Little Java, A Few Patterns》。 دانيال بي فريدمان (بالإنجليزية: Daniel P. Friedman)‏ هو عالم أمريكي، ولد في 1944.
foaf:name
Dr. Daniel Paul Friedman.
dbp:name
Dr. Daniel Paul Friedman.
dcterms:subject
dbc:1944_births dbc:Living_people dbc:Programming_language_researchers dbc:Indiana_University_faculty
dbo:wikiPageID
3131791
dbo:wikiPageRevisionID
1108831706
dbo:wikiPageWikiLink
dbr:Java_(programming_language) dbr:University_of_Houston dbr:Lambda_calculus dbr:Continuation_object dbr:Hygienic_macro dbr:Control_flow dbr:Continuations dbc:1944_births dbr:Mitchell_Wand dbr:Programming_language dbr:Scheme_and_the_Art_of_Programming dbr:Guy_L._Steele_Jr. dbc:Living_people dbc:Programming_language_researchers dbr:Computer_Science dbr:Bloomington,_Indiana dbr:Scheme_(programming_language) dbr:Macro_(computer_science) dbr:LISP_and_Functional_Programming dbr:Matthias_Felleisen dbc:Indiana_University_faculty dbr:ML_(programming_language) dbr:Logic_programming dbr:ICALP dbr:Lazy_evaluation dbr:Indiana_University_Bloomington dbr:Essentials_of_Programming_Languages dbr:LISP n37:_Tools_and_Techniques_for_Distributed_Software
dbo:wikiPageExternalLink
n18:TRNNN.cgi%3Ftrnum=TR44 n19:dfried_celebration.html n21: n22:BALJ-index.html n22:BRS-index.html n22:BTLS-index.html n22:BTSS-index.html n28:little-typer n31: n32: n34:watch%3Fv=IHP7P_HlcBk n22:BTML-index.html n36: n38:
owl:sameAs
n6:DPFriedman dbpedia-ar:دانيال_بي_فريدمان n16:4icsX n23:85219776 dbpedia-zh:丹尼尔·福瑞得曼 yago-res:Daniel_P._Friedman n27:1140757091 n29:p072604069 n30:دانیل_پری_فریدمن freebase:m.08tgv1 wikidata:Q5218364
dbp:wikiPageUsesTemplate
dbt:Authority_control dbt:Birth_year_and_age dbt:ISBN dbt:Webarchive dbt:Reflist dbt:Other_people dbt:Citation_needed dbt:Infobox_scientist
dbp:almaMater
dbr:University_of_Houston
dbp:date
2015-04-26
dbp:field
Computer Science
dbp:knownFor
Programming Languages
dbp:url
n36:
dbo:abstract
دانيال بي فريدمان (بالإنجليزية: Daniel P. Friedman)‏ هو عالم أمريكي، ولد في 1944. Daniel Paul Friedman (born 1944) is a professor of Computer Science at Indiana University in Bloomington, Indiana. His research focuses on programming languages, and he is a prominent author in the field. With David Wise, Friedman wrote a highly influential paper on lazy programming, specifically on lazy streams (ICALP 1976). The paper, entitled "Cons should not evaluate its arguments," is one of the first publications pushing for the exploration of a programming style with potentially infinite data structures and a form of programming that employs no computational effects (though programs may diverge). Over the 1970s, Friedman and Wise explored the topic in depth and also considered extensions to the world of parallel computing. In the 1980s, Friedman turned to the study of the Scheme programming language. He explored the use of macros for defining programming languages; with Eugene Kohlbecker, Matthias Felleisen, and Bruce Duba, he co-introduced the notion of hygienic macros in a 1986 LFP paper that is still widely cited today. With Christopher T. Haynes and Mitchell Wand, he simultaneously studied the nature of continuation objects, their uses, and the possibilities of constraining them. Following that, Friedman and Felleisen introduced a lambda calculus with continuations and control operators. Their work has spawned work on semantics, connections between classical logic and computation, and practical extensions of continuations. Friedman is also a prolific textbook author. His first textbook, The Little LISPer, dates back to 1974 and is still in print in its fourth edition, now called The Little Schemer (with Felleisen). Friedman and Felleisen wrote three more "little" books in the 1990s: The Little MLer, The Seasoned Schemer, and A Little Java, A Few Patterns. Friedman is also the lead author of Essentials of Programming Languages, a textbook on programming languages. As such, it changed the landscape of language textbooks in the 1980s, shifting the focus from surveys of languages to the study of principles via series of interpreters. Today's textbooks on this topic tend to follow this organization, employing operational semantics and type theory instead of interpreters. Like The Little LISPer, Essentials of Programming Languages is a long-living book and is in its third edition now. Most recently, Friedman resumed work on his "Little" series with The Reasoned Schemer (with William E. Byrd and Oleg Kiselyov), explaining logic programming via an extension of Scheme, and with The Little Prover (with Carl Eastlund), introducing inductive proofs as a way to determine facts about computer programs. 丹尼尔·弗里德曼（英語：Daniel Paul Friedman，生于1944年），在美国印第安纳大学伯明顿分校担任计算机科学教授，专攻程序语言研究领域，为该领域的权威。 1976年他和David Wise合作发表了影响深远的论文《Cons should not evaluate its arguments》 。 在接下来的八十年代，他转而研究Scheme语言，探讨了用宏来定义程序语言。他和其他几位作者合作发表了被至今仍广泛引用的论文，引入了干净的宏（Hygienic macro）的概念。和Haynes以及Wand, 他同时研究了连续对象本质、使用及约束可能性。 随后，他和 引入了λ演算，以及 Continuation和。 他们的工作催生了在经典逻辑和计算于连续实际扩展之间的语意和联系方面的研究。 弗里德曼博士是位多产的教科书作者。他的第一本著作《The Little Lisper》写于1974年，时至今日再版第四版了，书更名为《The Little Schemer》。在1990年代，他和撰写发布了另外三本little系列丛书，《The Little MLer》, 《The Seasoned Schemer》, 和《A Little Java, A Few Patterns》。 弗里德曼博士是《》的主要作者。这本书于1980年代出版，改变了程序语言领域的面貌，将重点从盘点各种程序语言转为通过解释器来研究程序语言的原则。今天这个领域的其他教科书都遵循此方向，只是用實作语意和类型理论代替了解释器。 和 《The Little LISPer》一样, 《Essentials of Programming Languages》长盛不衰，目前已为第三版。 最近，弗里德曼博士和Byrd、Kiselyov一起撰写《The Reasoned Schemer》，通过Scheme 语言的一个扩展来解释逻辑编程。 2015年，弗里德曼博士和Carl Eastlund出版了《The Little Prover》，并公开辅助证明程序“J-Bob”的源代码。
gold:hypernym
dbr:Professor
schema:sameAs
n23:85219776
prov:wasDerivedFrom
wikipedia-en:Daniel_P._Friedman?oldid=1108831706&ns=0
dbo:wikiPageLength
6369
dbo:academicDiscipline
dbr:Computer_Science
dbo:almaMater
dbr:University_of_Houston
foaf:isPrimaryTopicOf
wikipedia-en:Daniel_P._Friedman