Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection
No abstract available.
Related papers
- Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions PPoPP 2009
- Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm CAV 2018
- Software Model Checking for People Who Love Automata CAV 2013
- Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation CC 2008
- Faith, hope, and love: an essay on software science's neglect of human factors OOPSLA 2010
- Newly-single and loving it: improving higher-order must-alias analysis with heap fragments ICFP 2021
- Non-stop Haskell ICFP 2000
- Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment POPL 2026