Outer Web | Explore

Explore >> Select a destination

You are here		dafoster.net Unsound type systems are still useful \| DaFoster
\|	\|	argp.github.io Paper notes: Toward a foundational typed assembly language	12.4 parsecs away Travel
\|	\|	[AI summary] The paper explores a type system for a complete assembly language (TAL) to enable verification and reasoning about machine-checked proofs, with an implementation in OCaml for x86.	12.4 parsecs away Travel
\|	\|	frenchy64.github.io Are unsound type systems wrong?	0.3 parsecs away Travel
\|	\|	[AI summary] This essay explores the debate around type system soundness, comparing the intentional unsoundness of TypeScript with the soundness of Typed Racket and Typed Clojure, and discusses the trade-offs between usability and robustness in programming languages.	0.3 parsecs away Travel
\|	\|	ruudvanasseldonk.com A type system for RCL: Introduction	2.6 parsecs away Travel
\|	\|	I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system.	2.6 parsecs away Travel
\|	\|	markodenic.com GitHub repositories to improve skills - Marko Denic - Web Developer	31.6 parsecs away Travel
\|		Free programming books, algorithms, public APIs, and much more.	31.6 parsecs away Travel