Pony: Co-Designing a Type System and a Runtime
2 230
17.7
Microsoft Research334 тыс
Следующее
11.08.16 – 2951:02:27Популярные
13.10.22 – 2 0933:08
01.07.22 – 67022:42Опубликовано 11 августа 2016, 7:46
Pony is an actor-model, capabilities-secure, native programming language. I will talk about reference capabilities (a type system for data-race freedom influenced by object capabilities and deny guarantee reasoning), the ORCA and MAC protocols for fully concurrent no-stop-the-world garbage collection of both objects and actors, and extending Pony to the distributed setting.
Свежие видео
1 час – 5520:11
5 дней – 5151:01
5 дней – 7751:25
5 дней – 7 3280:31
6 дней – 598 2285:15Случайные видео
329 дней – 50 5551:11
339 дней – 655 5075:20
22.11.23 – 5220:18
23.04.21 – 18 95641:57
03.03.20 – 34 1741:15
31.07.12 – 21 46218:26
3 дня – 4461:01
4 дня – 3 8731:18
6 дней – 1 9701:22
7 дней – 90 13610:40
7 дней – 46224:48
10 дней – 380 5110:34
10 дней – 1490:34