Daniel P. Friedman

Daniel P. Friedman

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," [1] 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 Scheme. He explored the use of macros for defining programming languages; with Kohlbecker, Felleisen, and Duba, he co-introduced the notion of 'hygienic macros' in a 1986 LFP paper that is still widely cited today.[2] With Haynes and Wand, he simultaneously studied the nature of continuation objects, their uses, and the possibilities of constraining them.[3] Following that, Friedman and Felleisen introduced a lambda calculus with continuations and control operators.[4] Their work has spawned work on semantics, connections between classical logic and computation, and practical extensions of continuations.

Friedman is also a prolific text book author. His first text book, 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 text book on programming languages. As such, it changed the landscape of language text books in the 1980s, shifting the focus from surveys of languages to the study of principles via series of interpreters. Today's text books on this topic tend to follow this organization, though use 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 Byrd and Kiselyov), explaining logic programming via an extension of Scheme.

References

  1. ^ Friedman, Daniel P. (1976). Cons should not evaluate its arguments. ICALP. 
  2. ^ Friedman, Daniel P. (1986). Hygienic Macros. ACM Lisp and Functional Programming. 
  3. ^ Friedman, Daniel P. (1984). Constraining Control. ACM Principles of Programming Languages. 
  4. ^ Friedman, Daniel P. (1986). Reasoning with Continuations l. IEEE Logic in Computer Science. 

Books

Daniel P. Friedman is the author or co-author of the following books:

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Daniel Mortimer Friedman — For other people of the same name, see Daniel Friedman (disambiguation). Daniel Mortimer Friedman, (February 8, 1916 – July 6, 2011[1]) was a judge of the United States Court of Appeals for the Federal Circuit. Born in New York, New York,… …   Wikipedia

  • Friedman — Friedman, Friedmann, and Freedman are common surnames. They may refer to:In music * Avraham Fried, Jewish composer and musical entertainer, also known as Avraham Friedman * Dean Friedman, singer songwriter * Debbie Friedman, musician * Gary… …   Wikipedia

  • Daniel Friedman — may refer to: Daniel P. Friedman, American computer science professor Daniel Mortimer Friedman (1916 2011), judge of the United States Court of Appeals for the Federal Circuit Daniel E. Friedmann, Canadian company MDA Chief Executive Officer.[1]… …   Wikipedia

  • Daniel Ellsberg — in 2006 Born April 7, 1931 (1931 04 07) (age 80) Education …   Wikipedia

  • Daniel Negreanu — Negreanu at the 2007 World Series of Poker Nickname(s) Kid Poker[1] Hometown Toronto, Ontario …   Wikipedia

  • Daniel Nathans — Born October 30, 1928(1928 10 30) Wilmington, Delaware Died November 16, 1999(1999 11 16 …   Wikipedia

  • Daniel Alaei — after winning event 18 of the 2009 World Series of Poker Hometown Santa Fe Springs, California Born 1983 (age 27–28) …   Wikipedia

  • Daniel E. Koshland, Jr. — Daniel E. Koshland Born March 30, 1920(1920 03 30) New York City Died July 23, 2007(2007 07 23) (aged 87) …   Wikipedia

  • Daniel C. Drucker — Daniel Charles Drucker Born June 3, 1918 Died September 1, 2001 Fields Mec …   Wikipedia

  • Daniel I. Arnon — Daniel Israel Arnon (November 14, 1910 – December 20, 1994) was a Polish born American plant physiologist whose research led to greater insights into the operation of photosynthesis in plants. In 1973, he was awarded the National Medal of Science …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”