PLT Redex
From MaRDI portal
Cited in
(43)- HYBRID
- Ott
- DACTL
- IC2D
- Executable component-based semantics
- CIRC
- MontiCore
- From specification to testing: semantics engineering for Lua 5.2
- LIME
- A lazy desugaring system for evaluating programs with sugars
- K tool
- MikiBeta
- Lua
- From Stack Traces to Lazy Rewriting Sequences
- Macros that work together
- Spoofax
- APLicative Programming with Naperian Functors
- MikiBeta : A General GUI Library for Visualizing Proof Trees
- Systematic abstraction of abstract machines
- Towards a unified theory of operational and axiomatic semantics
- Racket
- Lincx
- A calculus for language transformations
- Celf
- From outermost reduction semantics to abstract machine
- Rover
- Semantics engineering with PLT Redex
- J
- Hackage
- K Prover
- Ruler
- αCheck: A mechanized metatheory model checker
- Fair enumeration combinators
- scientific article; zbMATH DE number 7204429 (Why is no real title available?)
- Proof-producing synthesis of ML from higher-order logic
- On graph rewriting, reduction, and evaluation in the presence of cycles
- Efficiency of lambda-encodings in total type theory
- Freeze after writing, quasi-deterministic parallel programming with LVars
- Correct blame for contracts, no more scapegoating
- Melange
- Lightroom
- An imperative pure calculus
- Implementing type systems for the IDE with Xsemantics
This page was built for software: PLT Redex
