| A Transient Semantics for Typed Racket. | 0 | 0.34 | 2022 |
| Adding Interactive Visual Syntax to Textual Code | 0 | 0.34 | 2020 |
| Complete monitors for gradual types | 1 | 0.35 | 2019 |
| Feature-Specific Profiling. | 0 | 0.34 | 2019 |
| From Macros to DSLs - The Evolution of Racket. | 0 | 0.34 | 2019 |
| How to evaluate the performance of gradual type systems. | 1 | 0.35 | 2019 |
| A spectrum of type soundness and performance | 0 | 0.34 | 2018 |
| Super 8 languages for making movies (functional pearl) | 0 | 0.34 | 2017 |
| Oh Lord, please don't let contracts be misunderstood (functional pearl). | 2 | 0.37 | 2016 |
| Coordinated Concurrent Programming in Syndicate. | 2 | 0.41 | 2016 |
| The Racket Manifesto. | 10 | 0.49 | 2015 |
| Feature-Specific Profiling. | 3 | 0.39 | 2015 |
| Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap | 17 | 1.66 | 2015 |
| Towards Practical Gradual Typing. | 8 | 0.49 | 2015 |
| The Network as a Language Construct. | 3 | 0.43 | 2014 |
| Profiling for laziness | 1 | 0.36 | 2014 |
| Option contracts | 3 | 0.38 | 2013 |
| ICFP 2002: Contracts for higher-order functions | 0 | 0.34 | 2013 |
| Contracts for First-Class Classes | 4 | 0.39 | 2013 |
| Typing the numeric tower | 8 | 0.57 | 2012 |
| Run your research: on the effectiveness of lightweight mechanization | 27 | 0.96 | 2012 |
| Complete monitors for behavioral contracts | 20 | 0.67 | 2012 |
| The call-by-need lambda calculus, revisited | 14 | 0.81 | 2012 |
| Optimization coaching: optimizers learn to communicate with programmers | 11 | 0.56 | 2012 |
| Gradual typing for first-class classes | 10 | 0.59 | 2012 |
| TeachScheme! | 1 | 0.37 | 2011 |
| On contract satisfaction in a higher-order world | 18 | 0.77 | 2011 |
| The Design and Implementation of Typed Scheme: From Scripts to Programs | 0 | 0.34 | 2011 |
| Stepping Lazy Programs | 0 | 0.34 | 2011 |
| Logical types for untyped languages | 41 | 1.53 | 2010 |
| Hygienic macros for ACL2 | 1 | 0.40 | 2010 |
| Debugging hygienic macros | 4 | 0.50 | 2010 |
| Adding types to untyped languages | 2 | 0.42 | 2010 |
| Contracts for first-class classes | 8 | 0.58 | 2010 |
| TeachScheme!: a checkpoint | 1 | 0.37 | 2010 |
| Contracts for first-class modules | 3 | 0.44 | 2009 |
| Practical Variable-Arity Polymorphism | 9 | 0.62 | 2009 |
| Viewpoint: Why computer science doesn't matter | 14 | 3.05 | 2009 |
| Making induction manifest in modular ACL2 | 1 | 0.40 | 2009 |
| Toward a Practical Module System for ACL2 | 2 | 0.39 | 2009 |
| Why teach programming languages in this day and age and how to go about it | 0 | 0.34 | 2008 |
| Functional programming and theorem proving for undergraduates: a progress report | 7 | 0.53 | 2008 |
| Adding delimited and composable control to a production programming environment | 15 | 0.84 | 2007 |
| Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 | 6 | 1.28 | 2007 |
| Implementation and use of the PLT scheme Web server | 35 | 1.73 | 2007 |
| Scheme with classes, mixins, and traits | 20 | 1.04 | 2006 |
| ACL2 in DrScheme | 11 | 1.01 | 2006 |
| Continuations from generalized stack inspection | 24 | 1.36 | 2005 |
| Environmental acquisition revisited | 2 | 0.44 | 2005 |
| How to design class hierarchies | 2 | 0.70 | 2005 |
