<p>In which I argue that type information should be erased from programs by the compiler both for final execution and also for reasoning (in a language with dependent types, for example, where we can reason about program execution statically).</p>

In which I argue that type information should be erased from programs by the compiler both for final execution and also for reasoning (in a language with dependent types, for example, where we can reason about program execution statically).

Types should be erased for executing and reasoning about programs

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Types should be erased for executing and reasoning about programs

Sign up to save your podcasts

Types should be erased for executing and reasoning about programs

Types should be erased for executing and reasoning about programs