DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Robert Bruce Findler
Robert Bruce Findler
Proceedings of the 8Th European Lisp Symposium Goldsmiths, University of London, April 20-21, 2015 Julian Padget (Ed.) Sponsors
A Python Implementation for Racket
Introduction to the Literature on Programming Language Design Gary T
The Racket Manifesto∗
Comprehension First: Evaluating a Novel Pedagogy and Tutoring System for Program Tracing in CS1
I Throw Itching Powder at Tulips
Design of a Simple Functional Programming Language and Environment for CS2
Dissertation
Extensible Languages for Flexible and Principled Domain Abstraction
Learning to Program in a Constructionist Way Mattia Monga, Michael Lodi, Dario Malchiodi, Anna Morpurgo, Bernadette Spieler
9 European Lisp Symposium
A New High School Curriculum Using Codeworld Fernando Alegre John Underwoood Gordon A
The Racket Manifesto∗
Event Loops As First-Class Values: a Case Study In
2010 Workshop on Scheme and Functional Programming
Task-Specific Programming Languages for Promoting Computing Integration: a Precalculus Example
On Teaching How to Design Programs Observations from a Newcomer
Teaching Algebra Through Functional Programming:An Analysis of the Bootstrap Curriculum
Top View
The Structure and Interpretation of the Computer Science Curriculum
Why Undergraduates Should Learn the Principles of Programming Languages∗
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
9 European Lisp Symposium
How to Evaluate the Performance of Gradual Type Systems
Prototypes: Object-Orientation, Functionally
Typing Dynamic Languages – a Review
Is an Oxymoron 9780262312325 Lisa Gitelman 2013 MIT Press
A Functional I/O System ∗ Or, Fun for Freshman Kids
Collapsible Contracts: Fixing a Pathology of Gradual Typing
Software Contracts for Security
Why Undergraduates Should Learn the Principles of Programming Languages∗
Rebuilding Racket on Chez Scheme (Experience Report)
Static Computation and Reflection: Theory and Practice
Curriculum Vitae Robert Bruce Findler · Jun
The Design, Implementation, and Evaluation of a Gradual Type System
Is Sound Gradual Typing Dead? T