Скачать или смотреть Featherweight Swift: A Core Calculus for Swift’s Type System

Featherweight Swift: A Core Calculus for Swift’s Type System

featherweight swiftswifttype systemcore language formalizationprotocol-oriented programmingprotocol oriented programminglanguage semanticslanguage calculustype systems

Скачать Featherweight Swift: A Core Calculus for Swift’s Type System бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно Featherweight Swift: A Core Calculus for Swift’s Type System или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

Информация по загрузке:

Cкачать музыку Featherweight Swift: A Core Calculus for Swift’s Type System бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео Featherweight Swift: A Core Calculus for Swift’s Type System

Hi, this is Dimitri Racordon, post-doc at @unige_en. My SLE paper presents a a subset of @swiftlang that formalizes its type system https://tinyurl.com/yyaockj2. A side contribution of our research was to find bugs in Swift compiler.

Featherweight Swift: A Core Calculus for Swift’s Type System
Paper DOI: https://doi.org/10.1145/3426425.3426939
Presented at SLE (Software Language Engineering) 2020, part of SPLASH 2020
By Dimitri Racordon, Didier Buchs

Комментарии

Информация по комментариям в разработке