会员服务
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
Arxiv
0+阅读 · 2023年4月21日
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 2023年4月21日
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 2023年4月19日
Smart Choices and the Selection Monad
Arxiv
0+阅读 · 2023年4月19日
A coherent differential PCF
Arxiv
0+阅读 · 2023年4月18日
Execution traces and reduction sequences
Arxiv
0+阅读 · 2023年4月11日
Gradual Typing for Effect Handlers
Arxiv
0+阅读 · 2023年4月4日
Blind Spots: Automatically detecting ignored program inputs
Arxiv
0+阅读 · 2023年3月31日
Smart Choices and the Selection Monad
Arxiv
0+阅读 · 2023年3月29日
参考链接
微信扫码咨询专知VIP会员
Top