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