D
получается так
Size: a a a
2021 April 12
AT
кидаешь под ноги ссылку на папир кому-нибудь, когда они в чат заходят
R
Я прошлую лекцию пропустил еще
AT
выложили запись ночью
ᛒ
какой ты папир читал в последний раз
ᛒ
та его в универе ебут небось
AT
надеюсь это по согласию
AT
@skucherenko узнали? согласны?
D
так ты студент ебана
Oℕ
ну вчера вечером глянул блогпост про статик верификейшон, открыл пару папиров оттуда
AT
Oℕ
Переслано от Alexander Tchitchigi...
Back to intersection types:
```
Thomas Jensen's PhD thesis, Abstract Interpretation in Logical Form, shows how an abstract interpretation of a higher-order functional language corresponds to a certain intersection type system for it. This helps illustrate the idea that abstract domains and types are both abstractions of a program.
```
From https://semantic-domain.blogspot.com/2019/08/on-relationship-between-static-analysis.html
```
Thomas Jensen's PhD thesis, Abstract Interpretation in Logical Form, shows how an abstract interpretation of a higher-order functional language corresponds to a certain intersection type system for it. This helps illustrate the idea that abstract domains and types are both abstractions of a program.
```
From https://semantic-domain.blogspot.com/2019/08/on-relationship-between-static-analysis.html
AT
мы с раттеном оба студенты
λ
Не хочу быть миньоном Олега
AT
пасиб) видел кажется
λ