Cited By
View all- Abounegm AKudasov NStepanov A(2024)Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming LanguageElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.405.1405(1-19)Online publication date: 10-Jul-2024
- Frank JQuiring BLampropoulos L(2024)Generating Well-Typed Terms That Are Not “Useless”Proceedings of the ACM on Programming Languages10.1145/36329198:POPL(2318-2339)Online publication date: 5-Jan-2024
- Audrito GCasadei RDamiani FSalvaneschi GViroli M(2024)The eXchange Calculus (XC)Journal of Systems and Software10.1016/j.jss.2024.111976210:COnline publication date: 1-Apr-2024
- Show More Cited By