Cited By
View all- Mulleners NJeuring JHeeren B(2023)Program Synthesis Using Example PropagationPractical Aspects of Declarative Languages10.1007/978-3-031-24841-2_2(20-36)Online publication date: 8-Jan-2023
- Cardone F(2020)From Curry to HaskellPhilosophy & Technology10.1007/s13347-019-00385-4Online publication date: 13-Feb-2020
- Sergey INagaraj VJohannsen JKumar ATrunov AHao K(2019)Safer smart contract programming with ScillaProceedings of the ACM on Programming Languages10.1145/33606113:OOPSLA(1-30)Online publication date: 10-Oct-2019
- Show More Cited By