Fengyun Liu

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Simplicitly: foundations and applications of implicit function types.
PACMPL, 2018

On the Soundness of Coroutines with Snapshots.
CoRR, 2018

Theory and Practice of Coroutines with Snapshots.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016
A generic algorithm for checking exhaustivity of pattern matching (short paper).
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016


  Loading...