Proof of history: what is it good for? [pdf]
2022-05-10
Haskell on a Shared-Memory Multiprocessor (2005) [pdf]
2022-05-10
A tutorial implementation of a dependently typed lambda calculus (2001) [pdf]
2022-05-10
Examining the Epidemic of Working Parental Burnout and Strategies to Help [pdf]
2022-05-09
Tactical Nuclear Weapons in Southeast Asia (1967) [pdf]
2022-05-09
Stressing the Elements (2016) [pdf]
2022-05-09
I Could Tell You but Then You Would Have to Be Destroyed by Me [pdf]
2022-05-09
Lyft Annual Report 2021 [pdf]
2022-05-09
Scripting COM components in Haskell (1998) [pdf]
2022-05-09
eBay Architecture Evolution [pdf]
2022-05-09