Lucas Silver
According to our database1,
Lucas Silver
authored at least 5 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
0
1
2
3
4
5
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact).
Dagstuhl Artifacts Ser., 2023
Dagstuhl Artifacts Ser., 2023
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2021
Proc. ACM Program. Lang., 2021