Cited By
View all- Gavazzo FTreglia RVanoni G(2024)Monadic Intersection Types, RelationallyProgramming Languages and Systems10.1007/978-3-031-57262-3_2(22-51)Online publication date: 6-Apr-2024
- Bereczky PHorp�csi DThompson S(2023)A frame stack semantics for sequential Core ErlangProceedings of the 35th Symposium on Implementation and Application of Functional Languages10.1145/3652561.3652566(1-13)Online publication date: 29-Aug-2023
- Horp�csi DBereczky PThompson S(2023)Program equivalence in an untyped, call-by-value functional language with uncurried functionsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2023.100857132(100857)Online publication date: Apr-2023
- Show More Cited By