Cited By
View all- Clement BRémy DRadanne G(2024)Fulfilling OCaml Modules with TransparencyProceedings of the ACM on Programming Languages10.1145/36498188:OOPSLA1(194-222)Online publication date: 29-Apr-2024
- Fujita KSchubert AUrzyczyn PZdanowski K(2024)The existential fragment of second-order propositional intuitionistic logic is undecidableJournal of Applied Non-Classical Logics10.1080/11663081.2024.231277434:1(55-74)Online publication date: 6-Mar-2024
- Sekiyama TTsukada T(2021)CPS transformation with affine types for call-by-value implicit polymorphismProceedings of the ACM on Programming Languages10.1145/34736005:ICFP(1-30)Online publication date: 19-Aug-2021
- Show More Cited By