View Detailed Profile
Alef: A bidirectional effect system for algebraic effects.

Alef: A bidirectional effect system for algebraic effects.

https://icfp20.sigplan.org/details/hope-2020-papers/6/

Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism

Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism

Effect systems

Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with [...]

Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with [...]

Paper and supplementary material: ...

Alef Flying Car: The Future of Airborne Travel Is Here

Alef Flying Car: The Future of Airborne Travel Is Here

Alef

Alef’s Flying Car Just Entered Production and Here Is What Happens Next

Alef’s Flying Car Just Entered Production and Here Is What Happens Next

A flying car just moved from prototype to production as

Functional Effect Systems To The Rescue by Michael Arnaldi

Functional Effect Systems To The Rescue by Michael Arnaldi

Functional

Alef Flying Car Concpet Can Fly Over Traffic Jams | What The Future

Alef Flying Car Concpet Can Fly Over Traffic Jams | What The Future

New video from

A Type-and-Effect System for Object Initialization

A Type-and-Effect System for Object Initialization

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