DrScheme
From MaRDI portal
Software:14005
swMATH1265MaRDI QIDQ14005FDOQ14005
Author name not available (Why is that?)
Cited In (26)
- 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
- 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
- Title not available (Why is that?)
- Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
- Title not available (Why is that?)
- Selectors make set-based analysis too hard
This page was built for software: DrScheme
