Cited By
View all- Kasuga RNishizaki S(2022)Formalizing dynamic-wind in the lambda calculusProceedings of the 2022 11th International Conference on Software and Computer Applications10.1145/3524304.3524318(90-96)Online publication date: 24-Feb-2022
- Kiselyov OSivaramakrishnan K(2018)Eff Directly in OCamlElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.285.2285(23-58)Online publication date: 31-Dec-2018
- Takikawa AStrickland TTobin-Hochstadt S(2013)Constraining delimited control with contractsProceedings of the 22nd European conference on Programming Languages and Systems10.1007/978-3-642-37036-6_14(229-248)Online publication date: 16-Mar-2013
- Show More Cited By