|
|
|
|
@ -13,9 +13,13 @@ A collection of articles & links
|
|
|
|
|
- [Orchestrating Layered Attestations](https://ku-sldg.github.io/copland/resources/copland-post-2019.pdf)
|
|
|
|
|
- [Design & Formal Verification of a Copland-based Attestation Protocol](https://ampetz.github.io/resources/memocode21_camera-ready.pdf)
|
|
|
|
|
- [SymForce: Symbolic Computation and Code Generation for Robotics](https://arxiv.org/abs/2204.07889)
|
|
|
|
|
- [Formal reasoning about layered monadic interpreters](https://dl.acm.org/doi/10.1145/3547630)
|
|
|
|
|
- [And now it's all this](https://leancrew.com/all-this/2021/07/back-to-netnewswire/)
|
|
|
|
|
- [simpler syndication](https://leancrew.com/all-this/2015/11/simpler-syndication/)
|
|
|
|
|
- [lawyers guns and money blog](https://www.lawyersgunsmoneyblog.com/)
|
|
|
|
|
- Foundational
|
|
|
|
|
- [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/cpdt.pdf)
|
|
|
|
|
- [Types and Programming Languages](https://basics.sjtu.edu.cn/~xiaojuan/tapl2016/files/Types+and+Programming+Languages.pdf)
|
|
|
|
|
|
|
|
|
|
### Development
|
|
|
|
|
|
|
|
|
|
|
