Fengyun Liu

According to our database, Fengyun Liu authored at least 6 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A type-and-effect system for object initialization.

Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky

Proc. ACM Program. Lang., 2020

2018

Simplicitly: foundations and applications of implicit function types.

Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki

Proc. ACM Program. Lang., 2018

On the Soundness of Coroutines with Snapshots.

Aleksandar Prokopec, Fengyun Liu

CoRR, 2018

Initialization patterns in Dotty.

Fengyun Liu, Aggelos Biboudis, Martin Odersky

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

Theory and Practice of Coroutines with Snapshots.

Aleksandar Prokopec, Fengyun Liu

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016

A generic algorithm for checking exhaustivity of pattern matching (short paper).

Fengyun Liu

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016