Cited By
View all- Curien P(2023)Explicit substitutions: A short surveyJournal of Computer Science and Technology10.1007/BF0294649913:6(562-563)Online publication date: 22-Mar-2023
- Valliappan NMirliaz SLobo Vesga ERusso A(2018)Towards Adding Variety to SimplicityLeveraging Applications of Formal Methods, Verification and Validation. Industrial Practice10.1007/978-3-030-03427-6_31(414-431)Online publication date: 5-Nov-2018
- Elliott C(2017)Compiling to categoriesProceedings of the ACM on Programming Languages10.1145/31102711:ICFP(1-27)Online publication date: 29-Aug-2017
- Show More Cited By