Cited in
(38)- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
- Component support in PLT scheme
- scientific article; zbMATH DE number 1954099 (Why is no real title available?)
- scientific article; zbMATH DE number 1231620 (Why is no real title available?)
- scientific article; zbMATH DE number 1692947 (Why is no real title available?)
- Directly reflective meta-programming
- Understanding beginners' mistakes with Haskell
- Sound and complete models of contracts
- Implementation and use of the PLT scheme web server
- Programming Languages and Systems
- scientific article; zbMATH DE number 1956462 (Why is no real title available?)
- Scheme with Classes, Mixins, and Traits
- Debugging hygienic macros
- Bee: an integrated development environment for the Scheme programming language
- Regular-expression derivatives re-examined
- Semantics and scoping of aspects in higher-order languages
- LISP
- PolyAML
- Bee
- Seaside
- Scheme
- LAML
- TIL
- DrACuLa
- Proof Pad
- MzLib
- AspectScheme
- MzScheme
- Reading beside the lines: Using indentation to rank revisions by complexity
- ACL2s: ``the ACL2 sedan
- Contracts for higher-order functions
- Teaching semantics with a proof assistant: no more LSD trip proofs
- Determining parameters of moon's orbital and rotational motion from LLR observations using GRAIL and IERS-recommended models
- scientific article; zbMATH DE number 2167064 (Why is no real title available?)
- Slideshow: functional presentations
- scientific article; zbMATH DE number 1692948 (Why is no real title available?)
- scientific article; zbMATH DE number 2087622 (Why is no real title available?)
- Selectors make set-based analysis too hard
This page was built for software: DrScheme
