John Baez's Stuff
John Baez’s Stuff I'm a mathematical physicist. Among other things, I study networks and help researchers use them in scientific software, such as quickly adaptable models of infectious disease. I am a Professor of the Graduate Division but not accepting new students at this time. In the fall of 2023 I had a Leverhulme Visiting Professorship and gave a series of lectures on mathematics at the Univ
Closure Conversion as CoYoneda
2017-08-28 :: Yoneda, coYoneda, category theory, compilers, closure conversion, math By: Max New The continuation-passing style transform (cps) and closure conversion (cc) are two techniques widely employed by compilers for functional languages, and have been studied extensively in the compiler correctness literature. Interestingly, typed versions of each can be proven to be equivalence preserving
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
