- Home
- » Tags
- » Matthias Felleisen
Top View
- On Teaching How to Design Programs Observations from a Newcomer
- 9. Medley Forgiveness: DWIM
- Scheduling Deterministic Parallel Programs
- From Principles to Practice with Class in the First Year
- Or, How I Administered PADL 2002 and 2003)
- The Structure and Interpretation of the Computer Science Curriculum
- Introducing Computational Thinking in K-12 Education: Historical, Epistemological, Pedagogical, Cognitive, and Affective Aspects Michael Lodi
- Mitpress.Mit.Edu/Cs and Other Familiar Stories Illustrate the Raphy, Available for the first Time in One Volume
- Why Undergraduates Should Learn the Principles of Programming Languages∗
- First-Class Continuations Basic Research in Computer Science
- Languages As Libraries
- Typing First-Class Continuations in ML
- Contents U U U
- Veri Cation of Closures in Rust Programs
- Contracts for First-Class Classes Technical Report NU-CCIS-10-04
- Symbolic Types for Lenient Symbolic Execution
- A Functional I/O System ∗ Or, Fun for Freshman Kids
- How to Design While Loops
- Algebraic Functions, Computer Programming, and the Challenge of Transfer
- Matthias Felleisen, Racketeer Types @ Strange Loop
- Proving As Programming with Drhol: a Preliminary Design
- A Public School Model of CS Education
- Software Contracts for Security
- Adding Delimited and Composable Control to a Production Programming Environment
- Type-Safe Prototype-Based Component Evolution
- Why Undergraduates Should Learn the Principles of Programming Languages∗
- Functional Programming Is Easy, and Good for You
- A New Way of Debugging Lisp Programs
- Curriculum Vitae Robert Bruce Findler · Jun
- Retrospective: the Essence of Compiling with Continuations
- Migratory Typing: Ten Years Later∗
- On the Expressive Power of Programming Languages
- On the Internet Nobody Knows You're a Lambda
- A Syntactic Theory of Dynamic Binding
- The Theory and Practice of First-Class Prompts
- The Design Discipline
- P56-Yigit.Pdf
- Fexprs As the Basis of Lisp Function Application Or $Vau : the Ultimate Abstraction by John N
- On the Expressive Power of User-Defined Effects
- 2006 Scheme and Functional Programming Papers, University of Chicago TR-2006-06
- Introducing Computational Thinking in K-12 Education: Historical, Epistemological, Pedagogical, Cognitive, and Affective Aspects
- Chaperones and Impersonators: Run-Time Support for Reasonable Interposition
- A Programmable Programming Language
- Using Elm to Introduce Algebraic Thinking to K-8 Students
- Functional Programming in Education
- Secure Information Flow and CPS
- Form Over Function Teaching Beginners How to Construct Programs (Distilled Tutorial)
- Drscheme: a Programming Environment for Scheme∗
- An Interview with Matthias Felleisen Conducted Thursday, March 10, 2011 in Dallas, TX, USA Interview Conducted by Barbara Boucher Owens
- Contracts As Pairs of Projections