A Type-and-effect System For Object Initialization

2021 15:51
Synopsis
Hi, this is @liufengyun, a PhD student at EPFL. Our OOPSLA'20 paper is about a 50-year old problem: safe initialization of objects ...

You Might Also Like

[Week 4 presentation, ECE 750-T5]: A Type-and-Effect System for Object Initialization 25:50
[week 4 Presentation, Ece 750-t5]: A Type-and-effect System ...
2022
ιDOT: A DOT Calculus with Object Initialization 13:59
ιdot: A Dot Calculus With Object Initialization
2021
[OOPSLA23] A conceptual framework for safe object initialization: a principled and mechani... 20:20
[oopsla23] A Conceptual Framework For Safe Object Initializa...
2025
JavaScript Tutorial - 30 - Object Initialization 4:54
Javascript Tutorial - 30 - Object Initialization
2020
02-Working with Classes Structs and Records in C#| Object initialization 40:01
02-working With Classes Structs And Records In C#| Object I...
2023
A New Model for Java Object Initialization 41:23
A New Model For Java Object Initialization
2026
A New Model for Java Object Initialization #JVMLS 44:10
A New Model For Java Object Initialization #jvmls
2025
[Week 4] ECE 750-T5 Static Analysis for Software Engineering 3:27
[week 4] Ece 750-t5 Static Analysis For Software Engineering
2022
2021 Advanced C++ workshop - Values and Object Initialization 45:50
2021 Advanced C++ Workshop - Values And Object Initializatio...
2022
Designing with Static Capabilities and Effects 16:59
Designing With Static Capabilities And Effects
2021
SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Objects As Modules 54:56
Splash 2016 Keynote: From Dot To Dotty -- Foundations And Ty...
2017
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.