Japheth Lim
According to our database1,
Japheth Lim
authored at least 7 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014