Details
Title
Liu, Fengyun
Sciper ID
244269
Affiliated labs
LAMP
Publications
A Study of Capability-Based Effect Systems
A Type-and-Effect System for Object Initialization
A Type-and-Effect System for Object Initialization
Celsius: A Model for Safe Initialization of Objects
Foundations of Implicit Function Types
Initialization patterns in Dotty
Safe Initialization of Objects
Simplicitly: Foundations and Applications of Implicit Function Types
Stoic: Towards Disciplined Capabilities
Two approaches to portable macros
See complete list of publications (13)
A Type-and-Effect System for Object Initialization
A Type-and-Effect System for Object Initialization
Celsius: A Model for Safe Initialization of Objects
Foundations of Implicit Function Types
Initialization patterns in Dotty
Safe Initialization of Objects
Simplicitly: Foundations and Applications of Implicit Function Types
Stoic: Towards Disciplined Capabilities
Two approaches to portable macros
See complete list of publications (13)
Link to search
All resources
Record appears in
Authorities > People