Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods
It’s Thursday, and My Last* Day at Kent
stefan-marr.de·20h
Growing Through IEEE: Leadership and Learning in Action
spectrum.ieee.org·2h
Generalizing over mutability in Rust
alexsaveau.dev·1d
Keeping Article Demos Alive When Third-Party APIs Die
css-tricks.com·1d
Blending data and physics for reduced-order modeling of systems with spatiotemporal chaotic dynamics
arxiv.org·1d
Loading...Loading more...