Search Results - Felleisen, Matthias

Matthias Felleisen

Felleisen speaking at the [[Symposium on Principles of Programming Languages]] in [[Madrid, Spain]] in 2010 Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received his PhD from Indiana University Bloomington under the direction of Daniel P. Friedman.

After serving as professor for 14 years in the Computer Science Department of Rice University, Felleisen joined the Khoury College of Computer Sciences at Northeastern University in Boston, Massachusetts as Trustee Professor.

Felleisen's interests include programming languages, including software tools, program design, software contracts, and many more. In the 1990s, Felleisen launched PLT and TeachScheme! (later ProgramByDesign and eventually giving rise to the Bootstrap project ) with the goal of teaching program-design principles to beginners and to explore the use of Scheme to produce large systems. As part of this effort, he authored ''How to Design Programs'' (Massachusetts Institute of Technology Press, 2001) with Findler, Flatt, and Krishnamurthi. Provided by Wikipedia
  • Showing 1 - 16 results of 16
Refine Results
  1. 1

    A little Java, a few patterns / by Felleisen, Matthias

    Published 1998
    Full Text (via EBSCO)
    eBook
  2. 2

    Semantics engineering with PLT Redex / by Felleisen, Matthias

    Published 2009
    Book
  3. 3

    A little Java, a few patterns / by Felleisen, Matthias

    Published 1998
    Book
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8

    How to design programs : an introduction to programming and computing /

    Published 2001
    Other Authors: “…Felleisen, Matthias…”
    Full Text (via EBSCO)
    eBook
  9. 9

    The seasoned schemer / by Friedman, Daniel P.

    Published 1996
    Other Authors: “…Felleisen, Matthias…”
    Book
  10. 10

    The seasoned schemer / by Friedman, Daniel P.

    Published 1996
    Other Authors: “…Felleisen, Matthias…”
    Full Text (via EBSCO)
    eBook
  11. 11

    How to design programs : an introduction to programming and computing /

    Published 2001
    Other Authors: “…Felleisen, Matthias…”
    Book
  12. 12

    The little LISPer / by Friedman, Daniel P.

    Published 1987
    Other Authors: “…Felleisen, Matthias…”
    Book
  13. 13
  14. 14

    The little Schemer / by Friedman, Daniel P.

    Published 1996
    Other Authors: “…Felleisen, Matthias…”
    Full Text (via Internet Archive)
    eBook
  15. 15

    The little Schemer / by Friedman, Daniel P.

    Published 1996
    Other Authors: “…Felleisen, Matthias…”
    Book
  16. 16

    The little prover / by Friedman, Daniel P., Eastlund, Carl

    Published 2015
    Other Authors: “…Felleisen, Matthias…”
    Full Text (via IEEE)
    eBook
Search Tools: RSS Feed Save Search