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