Franklin's Notes
List of computer-science notes:
Logic and type theory
Expressions in Scheme
Counterexamples in floating-point
Product type
Families and dependent types
Dependent pair type
Universes of types
Judgments versus propositions
Type theory
Functional programming
Chopped and rounded floating point
Declarative programming
Casting in categories
Movement commands in Assembly
Operand forms in Assembly
Pushing and popping in Assembly
Arithmetic and logical operations in Assembly
Commands in Assembly
back to home page