LP
на пробежку
за стейками
Size: a a a
2021 March 04
Oℕ
вся ж движуха с модулями это развитие этой темы
и какая есть движуха с модулями?
R
и какая есть движуха с модулями?
конченное неразмеченное
AN
конченное неразмеченное
Оно же мертво
AN
Де Гуз врать не будет)
ᛒ
на пробежку
русскую
R
русскую
ну ты и вспомнил
YE
русскую
Бегу двойную дистанцию!
R
S
русскую
AG
и какая есть движуха с модулями?
http://www.jonmsterling.com/pdfs/lrat.pdf Sterling, Harper, [2020] "Logical Relations as Types: Proof-Relevant Parametricity for Program Modules"
http://www2.tcs.ifi.lmu.de/~schoepp/Docs/modules_tr.pdf Schopp, [2020] "The Geometry of Interaction as a Module System"
http://www.cs.cmu.edu/~crary/papers/2019/famc.pdf Crary, [2019] "Fully Abstract Module Compilation"
http://www2.tcs.ifi.lmu.de/~schoepp/Docs/modules_tr.pdf Schopp, [2020] "The Geometry of Interaction as a Module System"
http://www.cs.cmu.edu/~crary/papers/2019/famc.pdf Crary, [2019] "Fully Abstract Module Compilation"
AG
три разных подхода за последние 2 года
AG
в основном конечно харпер и ученики толкают тему
AG
ну это более крестьянская версия первой паперы конечно
M
остальным на планете вообще эта тема неинтересна
спс за ликбез
GP
Де Гуз врать не будет)
ор
E
V