Cited By
View all- Stein BChang BSridharan M(2024)Interactive Abstract Interpretation with Demanded SummarizationACM Transactions on Programming Languages and Systems10.1145/364844146:1(1-40)Online publication date: 15-Feb-2024
- SULZMANN MWEHR S(2023)A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic GoJournal of Functional Programming10.1017/S095679682300004733Online publication date: 9-Oct-2023
- Sulzmann MWehr S(2022)Semantic Preservation for a Type Directed Translation Scheme of Featherweight GoMathematics of Program Construction10.1007/978-3-031-16912-0_7(178-197)Online publication date: 22-Sep-2022
- Show More Cited By