1. Mentioned In 8 Articles

2. A functional-logic library for wired

   The ACM Portal (Jul 7 2008) Explore Article

   ...aunstrup, editor, Formal Methods for VLSI Design., Elsevier, 1990. Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, and Amr Sabry. Backtracking, interleaving, and terminating monad transformers. In Proc. o... (Read Full Article)
   

   Comment on Article Mentions:   Daniel P.   Acm Sigplan   Emil Axelsson

3. An Optimizing Compiler For Scheme

   The ACM Portal (May 5 2008) Explore Article

   ...ic), 1985 Fisher, J.A. Very Long Word Architectures. YALEU/DCS/RR-253, Yale University, Dec., 1982. Daniel P. Friedman , Christopher T. Haynes, Constraining control, Proceedings of the 12th ACM SIGACT-SIGPLAN ... (Read Full Article)
   

   Comment on Article Mentions:   Matthias Felleisen   United Kingdom   Paul Hudak

4. Recycling Continuations

   IU Computer Science Department (May 2 2008) Explore Article

   Jonathan Sobel and Daniel P. Friedman Computer Science Department Indiana University Bloomington, Indiana 47405 {jsobel, dfried... (Read Full Article)
   

   Comment on Article Mentions:   Daniel P.

5. Type Classes Without Types

   repository.readscheme.org (Apr 2 2008) Explore Article

   ...in Computer Science, pages 230–244, New York, NY, March 2000. Springer-Verlag. Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen, and Bruce Duba. Hygienic macro expansion. In LFP ’86: Proceedings o... (Read Full Article)
   

   Comment on Article Mentions:   Daniel P.   Peter Thiemann   Jean-Yves Girard

6. Pure, Declarative, and Constructive Arithmetic Relations

   Lambda the Ultimate (Feb 27 2008) Explore Article

   . Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, and Chung-chieh Shan. FLOPS 2008. (source code) We present decidable logic programs for a... (Read Full Article)
   

   Comment on Article Mentions:   Daniel P.   Oleg Kiselyov   Haskell

7. LogicT.pdf (Objet application/pdf)

   okmij.org (Feb 18 2008) Explore Article

   ...l) Oleg Kiselyov FNMOC oleg@pobox.com Chung-chieh Shan Harvard University ccshan@post.harvard.edu Daniel P. Friedman Indiana University dfried@indiana.edu Amr Sabry Indiana University sabry@indiana.edu Abs... (Read Full Article)
   

   Comment on Article Mentions:   ACM Press   Scheme   SIGPLAN International Conference

8. DSL Implementation in MetaOCaml , Template Haskell , and C++

   cs.rice.edu (Jan 30 2008) Explore Article

   ...and Automatic Program Generation. Prentice-Hall, 1993. Shiram Krishnamurti, Matthias Felleisen, and Daniel P. Friedman. Synthesizing object-oriented and functional design to promote re-use. In Eric Jul, editor... (Read Full Article)
   

   Comment on Article Mentions:   Daniel P.   Olivier Danvy   Peter Thiemann

9. DSL Implementation in MetaOCaml, Template Haskell, and C++

   cs.rice.edu (Jan 9 2008) Explore Article

   ...Automatic Program Generation. Prentice-Hall, 1993. 27. Shiram Krishnamurti, Matthias Felleisen, and Daniel P. Friedman. Synthesizing object-oriented and functional design to promote re-use. In Eric Jul, editor... (Read Full Article)
   

   Comment on Article Mentions:   Daniel P.   Olivier Danvy   Walid Taha

1-8 of 8