aistrate
diff --git a/‎General/Sound and Complete Type Inference for a Systems Programming Language (Sridhar, Shapiro, Smith).pdf‎
250 KB b/‎General/Sound and Complete Type Inference for a Systems Programming Language (Sridhar, Shapiro, Smith).pdf‎
250 KB
diff --git a/‎General/The Origins of the BitC Programming Language (Shapiro, Sridhar, Doerrie).pdf‎
166 KB b/‎General/The Origins of the BitC Programming Language (Shapiro, Sridhar, Doerrie).pdf‎
166 KB
diff --git a/‎General/Towards a Verified, General-Purpose Operating System Kernel (Shapiro, Doerrie, Northup, Sridhar, Miller).pdf‎
160 KB b/‎General/Towards a Verified, General-Purpose Operating System Kernel (Shapiro, Doerrie, Northup, Sridhar, Miller).pdf‎
160 KB
diff --git a/‎General/Trampolined Style (Ganz, Friedman, Wand).ps‎
320 KB b/‎General/Trampolined Style (Ganz, Friedman, Wand).ps‎
320 KB