Explore >> Select a destination


You are here

www.ralfj.de
| | this-week-in-rust.org
5.0 parsecs away

Travel
| |
| | plv.mpi-sws.org
0.0 parsecs away

Travel
| |
| | argp.github.io
5.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.
| | www.pl-enthusiast.net
29.8 parsecs away

Travel
| This post describes the structure, goals, and content of CMSC 330, UMD's sophomore-level programming languages course. This is part 1.