From b01852ce764fe018b608b8868a3a138e975596ce Mon Sep 17 00:00:00 2001 From: Garrett Mills Date: Fri, 9 Sep 2022 15:45:57 +0000 Subject: [PATCH] Update 'README.md' --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 8da28db..b6e794b 100644 --- a/README.md +++ b/README.md @@ -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