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
Disk
CPU
Computer system hardware
Bus
SSHing into a local UNIX machine
Main memory
UNIX flavors
Formal language
back to home page