Cited By
View all- Krijnen JChakravarty MKeller GSwierstra W(2024)Translation certification for smart contractsScience of Computer Programming10.1016/j.scico.2023.103051233(103051)Online publication date: Mar-2024
- Huang XOliveira B(2021)Distributing intersection and union types with splits and duality (functional pearl)Proceedings of the ACM on Programming Languages10.1145/34735945:ICFP(1-24)Online publication date: 19-Aug-2021
- Cimini M(2020)On the Effectiveness of Higher-Order Logic Programming in Language-Oriented ProgrammingFunctional and Logic Programming10.1007/978-3-030-59025-3_7(106-123)Online publication date: 2-Sep-2020
- Show More Cited By