Matthias Felleisen Books
Semantics Engineering with PLT Redex
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of reduction semantic...
Read More
Realm of Racket
By Matthias Felleisen David Van Horn Conrad Barski M.D., Eight Students Of Northeastern University
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 wi...
Read More
Realm of Racket
By Matthias Felleisen David Van Horn Conrad Barski M.D., Eight Students Of Northeastern University
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 wi...
Read More
Programming Languages and Systems
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 201...
Read More