Cited By
View all- Viera MPardo ASaraiva J(2024)Tabulation with ZippersFunctional and Logic Programming10.1007/978-981-97-2300-3_5(83-98)Online publication date: 15-May-2024
- Basold HKomendantskaya ELi Y(2019)Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn ClausesProgramming Languages and Systems10.1007/978-3-030-17184-1_28(783-813)Online publication date: 6-Apr-2019
- Broman DSiek J(2018)Gradually typed symbolic expressionsProceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM '1810.1145/3175493.3162068(15-29)Online publication date: 2018
- Show More Cited By