Fengyun Liu

According to our database, Fengyun Liu authored at least 4 papers between 2016 and 2018.

Collaborative distances:

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

2018

Simplicitly: foundations and applications of implicit function types.

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

PACMPL, 2018

On the Soundness of Coroutines with Snapshots.

Aleksandar Prokopec, Fengyun Liu

CoRR, 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