Strong Static Type Checking for Functional Common Lisp [pdf]
2019-12-10
North Korean Provocative Actions, 1950 – 2007 [pdf]
2019-12-09
To Wash It All Away (2014) [pdf]
2019-12-09
Debugging Inputs [pdf]
2019-12-09
Measuring the intelligence of an idealized mechanical knowing agent [pdf]
2019-12-09
Side channel attacks on TPM2.0 devices exposes private keys [pdf]
2019-12-09
Searching the Internet for Evidence of Time Travelers [pdf]
2019-12-09
Neural Shuffle-Exchange Networks − Sequence Processing in O(n log n) Time [pdf]
2019-12-09
Method for fast generic dispatch in Common Lisp, used in the SICL implementation [pdf]
2019-12-09
The privacy of the TLS 1.3 protocol [pdf]
2019-07-03