Search Results - Felleisen, Matthias
Matthias Felleisen
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
-
1
A little Java, a few patterns / by Felleisen, Matthias
Published 1998Call Number: Loading…Full Text (via EBSCO)
Located: Loading…
eBook -
2
Semantics engineering with PLT Redex / by Felleisen, Matthias
Published 2009Call Number: Loading…
Located: Loading…Book Loading… -
3
A little Java, a few patterns / by Felleisen, Matthias
Published 1998Call Number: Loading…
Located: Loading…Book Loading… -
4
Realm of Racket : learn to program, one game at a time! / by Felleisen, Matthias
Published 2013Call Number: Loading…Full Text (via Skillsoft)
Located: Loading…
Electronic eBook -
5
Realm of Racket learn to program, one game at a time! / by Felleisen, Matthias
Published 2013Call Number: Loading…Online Access (A-Z Journals and Newspapers)
Located: Loading…
Electronic eBook -
6
The seasoned Schemer / by Friedman, Daniel P., Felleisen, Matthias
Published 1995Call Number: Loading…Full Text (via MIT Press)
Located: Loading…
eBook -
7
How to design programs : an introduction to programming and computing / by Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram
Published 2018Call Number: Loading…
Located: Loading…Book Loading… -
8
How to design programs : an introduction to programming and computing /
Published 2001Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…Full Text (via EBSCO)
Located: Loading…
eBook -
9
The seasoned schemer / by Friedman, Daniel P.
Published 1996Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…
Located: Loading…Book Loading… -
10
The seasoned schemer / by Friedman, Daniel P.
Published 1996Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…Full Text (via EBSCO)
Located: Loading…
eBook -
11
How to design programs : an introduction to programming and computing /
Published 2001Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…
Located: Loading…Book Loading… -
12
The little LISPer / by Friedman, Daniel P.
Published 1987Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…
Located: Loading…Book Loading… -
13
Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,...
Published 2013Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
14
The little Schemer / by Friedman, Daniel P.
Published 1996Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…Full Text (via Internet Archive)
Located: Loading…
eBook -
15
The little Schemer / by Friedman, Daniel P.
Published 1996Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…
Located: Loading…Book Loading… -
16
The little prover / by Friedman, Daniel P., Eastlund, Carl
Published 2015Other Authors: “…Felleisen, Matthias…”
Call Number: Loading…Full Text (via IEEE)
Located: Loading…
eBook
Search Tools:
RSS Feed
–
Save Search
Related Subjects
LISP (Computer program language)
Computer programming
Scheme (Computer program language)
Electronic data processing
Java (Computer program language)
Programming languages (Electronic computers)
Racket (Computer program language)
Automatic theorem proving
Computer science
Domain-specific programming languages
Linguagem de programação
Lisp
Redex (Computer program language)
Semantics