Explore >> Select a destination
|
You are here 
|
www.ralfj.de | ||
| | | | |
this-week-in-rust.org
|
|
| | | | | ||
| | | | |
plv.mpi-sws.org
|
|
| | | | | ||
| | | | |
argp.github.io
|
|
| | | | | [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
|
|
| | | This post describes the structure, goals, and content of CMSC 330, UMD's sophomore-level programming languages course. This is part 1. | ||
