Submissions from dbp.io

1.		The Next 700 Compiler Correctness Theorems (Functional Pearl) (dbp.io)
		1 point by matt_d on June 27, 2019 \| past
2.		Phantom Contracts for Better Linking [pdf] (dbp.io)
		2 points by lainon on June 11, 2019 \| past
3.		Rust Distilled: An Expressive Tower of Languages [pdf] (dbp.io)
		7 points by lainon on Sept 2, 2018 \| past
4.		How to prove a compiler correct (dbp.io)
		1 point by 68c12c16 on Jan 19, 2018 \| past
5.		(Cheap) home backups (dbp.io)
		4 points by dbpatterson on Jan 2, 2018 \| past
6.		FunTAL: mixing a functional language with assembly (dbp.io)
		46 points by lainon on Dec 30, 2017 \| past \| 2 comments
7.		FunTAL: mixing a functional language with assembly (dbp.io)
		2 points by lainon on Nov 13, 2017 \| past