criterion
From MaRDI portal
Criterion
Cited in
(16)- Handlers in action
- CLISP
- effects
- Frank
- mtl
- pipes
- CacBDD
- Kleisli
- nofib
- DEMO
- HasCacBDD
- SMCDEL
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
- Efficient parallel and incremental parsing of practical context-free languages
- SurrealNumbers
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products
This page was built for software: criterion
