According to our database1, Fengyun Liu authored at least 4 papers between 2016 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Simplicitly: foundations and applications of implicit function types.
On the Soundness of Coroutines with Snapshots.
Theory and Practice of Coroutines with Snapshots.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
A generic algorithm for checking exhaustivity of pattern matching (short paper).
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016