WorldCat Identities

Felleisen, Matthias

Overview
Works: 47 works in 206 publications in 4 languages and 5,649 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 )

35 editions published between 1986 and 1995 in English and held by 547 WorldCat member libraries worldwide

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

24 editions published between 2001 and 2010 in English and German and held by 442 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 )

17 editions published between 1998 and 2000 in 3 languages 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 324 WorldCat member libraries worldwide

The seasoned schemer by Daniel P Friedman( Book )

15 editions published between 1996 and 2011 in English and Japanese and held by 246 WorldCat member libraries worldwide

The little MLer by Matthias Felleisen( Book )

11 editions published in 1998 in English and held by 177 WorldCat member libraries worldwide

Semantics engineering with PLT Redex by Matthias Felleisen( Book )

8 editions published in 2009 in English and held by 111 WorldCat member libraries worldwide

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

6 editions published in 2013 in English and Undetermined and held by 82 WorldCat member libraries worldwide

Racket is the noble descendant of Lisp, a programming language renowned for its elegance and power. But while Racket retains the functional goodness of Lisp that makes programming purists drool, it was designed with beginning programmers in mind. Realm of Racket promises to make this language even more fun and accessible with its collection of comics and games. You'll follow Chad, a hapless college freshman, whose cartoon adventures introduce new programming skills in each chapter. As you begin to tackle more complex concepts, like recursion, mutable structs, lazy evaluation, and distributed programming, the games get more sophisticated-and more fun! By the end of the book you'll have programmed and played complete games like Robot Snake, Orc Battle, Dice of Doom, and Hungry Henry. Along the way, you'll learn to: * Master the quirks of Racket's syntax and semantics * Write concise and elegant functional programs * Create a graphical user interface using the 2htdp/image library * Create a server to handle true multiplayer games * Put your Racket skills to the test by taking on challenging end-of-chapter exercises Realm of Racket is a lighthearted guide that will teach you some serious programming. Programming just got more fun
Le Petit Lispien by Daniel P Friedman( Book )

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

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, Rome, Italy, March 16-24 2013 ; proceedings by Matthias Felleisen( )

8 editions published in 2013 in English and held by 35 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 G 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."
Sukīmu tenarai by Daniel P Friedman( Book )

5 editions published between 1990 and 2010 in Japanese and held by 5 WorldCat member libraries worldwide

Realm of Racket by Matthias Felleisen( Book )

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

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

1 edition published in 2013 in English and held by 5 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."
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
PROGRAMMING LANGUAGES AND SYSTEMS( Book )

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

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 )

5 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
Proceedings of the third ACM SIGPLAN international conference on functional programming by Matthias Felleisen( )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.42 (from 0.09 for Realm of R ... to 0.94 for Programmin ...)

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

Matthias Felleisen American academic

펠라이젠, 마티아스

フェライセン, M

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

Languages
English (156)

Japanese (10)

German (3)

French (2)

Covers
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