The following pages link to DrScheme (Q14005):
Displaying 14 items.
- Determining parameters of moon's orbital and rotational motion from LLR observations using GRAIL and IERS-recommended models (Q333830) (← links)
- Debugging hygienic macros (Q608231) (← links)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- Selectors make set-based analysis too hard (Q812081) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- Semantics and scoping of aspects in higher-order languages (Q856916) (← links)
- Reading beside the lines: Using indentation to rank revisions by complexity (Q1021465) (← links)
- Implementation and use of the PLT scheme web server (Q2464729) (← links)
- (Q2763680) (← links)
- (Q2763681) (← links)
- ACL2s: “The ACL2 Sedan” (Q2867932) (← links)
- Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (Q2891399) (← links)
- Contracts for higher-order functions (Q2949191) (← links)
- Component support in PLT scheme (Q4791021) (← links)
