Pony: Co-Designing a Type System and a Runtime
2 216
17.6
Microsoft Research330 тыс
Следующее
11.08.16 – 2941:02:27Популярные
Опубликовано 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.
Свежие видео
4 дня – 630:47
4 дня – 1 93936:41
4 дня – 18 9742:55
6 дней – 7002:05
6 дней – 1 1252:36Случайные видео
9 дней – 1 088 7960:58
55 дней – 3691:00
301 день – 353 834 0213:49
354 дня – 132 05410:18
20.05.23 – 1 179 17718:37
24.07.22 – 3 650 4930:53
8 дней – 86 06214:12
10 дней – 1 4840:59
13 дней – 1262:31
24 дня – 5 89059:36
27 дней – 789 3220:43
31 день – 1505:38