WorldCat Identities

Felleisen, Matthias

Works: 52 works in 218 publications in 4 languages and 5,672 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Thesis advisor, Author of afterword, colophon, etc., Other
Classifications: QA76.73.L23, 005.133
Publication Timeline
Most widely held works by Matthias Felleisen
The little LISPer by Daniel P Friedman( Book )

41 editions published between 1986 and 2010 in English and Japanese and held by 545 WorldCat member libraries worldwide

Software -- Programming Languages
How to design programs : an introduction to programming and computing by Matthias Felleisen( Book )

29 editions published between 2001 and 2017 in English and German and held by 448 WorldCat member libraries worldwide

This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This approach fosters a variety of skills -- critical reading, analytical thinking, creative synthesis, and attention to detail -- that are important for everyone, not just future computer programmers. The book exposes readers to two fundamentally new ideas. First, it presents program design guidelines that show the reader how to analyze a problem statement; how to formulate concise goals; how to make up examples; how to develop an outline of the solution, based on the analysis; how to finish the program; and how to test. Each step produces a well-defined intermediate product. Second, the book comes with a novel programming environment, the first one explicitly designed for beginners. The environment grows with the readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks. - Publisher
A little Java, a few patterns by Matthias Felleisen( Book )

15 editions published between 1998 and 2000 in English and Undetermined and held by 343 WorldCat member libraries worldwide

Matthias Felleisen and Daniel Friedman use a small subset of Java to introduce pattern-directed program design. With their usual clarity and flair, they gently guide readers through the fundamentals of object-oriented programming and pattern-based design. Readers new to programming, as well as those with some background, will enjoy their learning experience as they work their way through Felleisen and Friedman's lessons
The little Schemer by Daniel P Friedman( Book )

24 editions published between 1996 and 2007 in English and German and held by 322 WorldCat member libraries worldwide

The seasoned schemer by Daniel P Friedman( Book )

13 editions published between 1996 and 2000 in English and held by 239 WorldCat member libraries worldwide

"The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new companion volume, The Seasoned Schemer, apart from other books on LISP. The authors' enthusiasm for their subject is compelling as they present abstract concepts in a humorous and easy-to-grasp fashion. Together, these books will open new doors of thought to anyone who wants to find out what computing is really about."--BOOK JACKET. "The Little Schemer introduces computing as an extension of arithmetic and algebra - things that everyone studies in grade school and high school. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language Scheme and a menu of interesting foods to illustrate these abstract ideas. The Seasoned Schemer introduces the reader to additional dimensions of computing: functions as values, change of state, and exceptional cases."--BOOK JACKET. "The Little LISPer has been a popular introduction to LISP for many years. It has appeared in French and Japanese. The Little Schemer and The Seasoned Schemer are worthy successors and will prove equally popular as textbooks for Scheme courses as well as companion texts for any complete introductory course in Computer Science."--BOOK JACKET
The little MLer by Matthias Felleisen( Book )

10 editions published in 1998 in English and held by 174 WorldCat member libraries worldwide

Semantics engineering with PLT Redex by Matthias Felleisen( Book )

9 editions published in 2009 in English and held by 113 WorldCat member libraries worldwide

Realm of Racket : learn to program, one game at a time! by Matthias Felleisen( Book )

5 editions published in 2013 in English and held by 84 WorldCat member libraries worldwide

Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, it was designed with beginning programmers in mind. Realm of Racket is your introduction to the Racket language. In Realm of Racket, you'll learn to program by creating increasingly complex games. Your journey begins with the Guess My Number game and coverage of some basic Racket etiquette. Next you'll dig into syntax and semantics, lists, structures, and conditionals, and learn to work with recursion and the GUI as you build the Robot Snake game. After that it's on to lambda and mutant structs (and an Orc Battle), and fancy loops and the Dice of Doom. Finally, you'll explore laziness, AI, distributed games, and the Hungry Henry game. As you progress through the games, chapter checkpoints and challenges help reinforce what you've learned. Offbeat comics keep things fun along the way. As you travel through the Racket realm, you'll: -Master the quirks of Racket's syntax and semantics -Learn to write concise and elegant functional programs -Create a graphical user interface using the 2htdpmage library -Create a server to handle true multiplayer games Realm of Racket is a lighthearted guide to some serious programming. Read it to see why Racketeers have so much fun!
Le Petit Lispien by Daniel P Friedman( Book )

2 editions published in 1991 in French and held by 45 WorldCat member libraries worldwide

Programming languages and systems : 22nd European Symposium on Programming : proceedings by Matthias Felleisen( Book )

9 editions published in 2013 in English and held by 14 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis
Abstract models of memory management by J. Gregory Morrisett( Book )

3 editions published in 1995 in English and held by 7 WorldCat member libraries worldwide

Abstract: "Most specifications of garbage collectors concentrate on the low-level algorithmic details of how to find and preserve accessible objects. Often, they focus on bit-level manipulations such as 'scanning stack frames, ' 'marking objects, ' 'tagging data, ' etc. While these details are important in some contexts, they often obscure the more fundamental aspects of memory management: what objects are garbage and why? We develop a series of calculi that are just low-level enough that we can express allocation and garbage collection, yet are sufficiently abstract that we may formally prove the correctness of various memory management strategies. By making the heap of a program syntactically apparent, we can specify memory actions as rewriting rules that allocate values on the heap and automatically dereference pointers to such objects when needed. This formulation permits the specification of garbage collection as a relation that removes portions of the heap without affecting the outcome of the evaluation. Our high-level approach allows us to compactly specify and prove correct a wide variety of memory management techniques, including standard trace-based garbage collectors (i.e., the family of copying and mark/sweep collectors), generational collection, and type-based tag-free collection. Furthermore, since the definition of garbage is based on the semantics of the underlying language instead of the conservative approximation of inaccessibility, we are able to specify and formally prove the idea that type inference can be used to collect some objects that are accessible but never used."
Realm of Racket by Matthias Felleisen( Book )

2 editions published in 2013 in English and held by 5 WorldCat member libraries worldwide

Scheme shugyō by Daniel P Friedman( Book )

3 editions published in 2011 in Japanese and held by 4 WorldCat member libraries worldwide

A syntactic approach to type soundness by Andrew K Wright( Book )

1 edition published in 1991 in English and held by 3 WorldCat member libraries worldwide

Abstract: "We present a new approach to proving type soundness for Hindley/Milner-style polymorphic type systems. The keys to our approach are (1) an adaptation of subject reduction theorems from combinatory logic to programming languages and (2) the use of rewriting techniques for the specification of the language semantics. The approach easily accommodates polymorphic functional languages and imperative language extensions that contain references, exceptions, continuations, and similar features. We illustrate the technique with a type soundness theorem for the core of STANDARD ML, which includes the first type soundness proof for polymorphic exceptions and continuations."
Transliterating Prolog into Scheme by Matthias Felleisen( Book )

2 editions published in 1985 in English and held by 3 WorldCat member libraries worldwide

The little prover by Daniel P Friedman( Book )

6 editions published in 2015 in English and Undetermined and held by 3 WorldCat member libraries worldwide

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant
Fully abstract semantics for observably sequential languages by Robert Cartwright( Book )

1 edition published in 1993 in English and held by 3 WorldCat member libraries worldwide

Abstract: "One of the major challenges in denotational semantics is the construction of a fully abstract semantics for a higher-order sequential programming language. For the past fifteen years, research on this problem has focused on developing a semantics for PCF, an idealized functional programming language based on the typed [lambda]-calculus. Unlike most practical languages, PCF has no facilities for observing and exploiting the evaluation order of arguments to procedures. Since we believe that these facilities play a crucial role in sequential computation, this paper focuses on a sequential extension of PCF, called SPCF, that includes two classes of control operators: a possibly empty set of error generators and a collection of catch and throw constructs
Beyond continuations by Matthias Felleisen( Book )

2 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide

ICFP 98: ICFP: International Conference on Functional Programming and Its Extension by Matthias Felleisen( Book )

2 editions published in 1998 in English and held by 1 WorldCat member library worldwide

Proceedings of the third ACM SIGPLAN international conference on Functional programming by Matthias Felleisen( )

2 editions published between 1998 and 2004 in English and held by 0 WorldCat member libraries worldwide

moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.42 (from 0.17 for The little ... to 0.91 for Scheme shu ...)

How to design programs : an introduction to programming and computing
Alternative Names
Felleisen, M

Matthias Felleisen American academic

펠라이젠, 마티아스

フェライセン, M

フェライセン, マサイアス

English (166)

Japanese (8)

German (3)

French (2)

How to design programs : an introduction to programming and computingA little Java, a few patternsThe little SchemerThe seasoned schemerThe little MLerSemantics engineering with PLT Redex