@inproceedings{HillerstromL16, author = {Daniel Hillerstr{\"{o}}m and Sam Lindley}, title = {Liberating effects with rows and handlers}, booktitle = {TyDe@ICFP}, pages = {15--27}, publisher = {{ACM}}, year = {2016} } @inproceedings{HillerstromLAS17, author = {Daniel Hillerstr{\"{o}}m and Sam Lindley and Robert Atkey and {KC} Sivaramakrishnan}, title = {Continuation Passing Style for Effect Handlers}, booktitle = {{FSCD}}, series = {LIPIcs}, volume = {84}, pages = {18:1--18:19}, OPTpublisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, year = {2017} } @inproceedings{HillerstromL18, author = {Daniel Hillerstr{\"{o}}m and Sam Lindley}, title = {Shallow Effect Handlers}, booktitle = {{APLAS}}, OPTseries = {Lecture Notes in Computer Science}, series = {{LNCS}}, volume = {11275}, pages = {415--435}, publisher = {Springer}, year = {2018} } @article{HillerstromLA20, author = {Daniel Hillerstr{\"{o}}m and Sam Lindley and Robert Atkey}, title = {Effect handlers via generalised continuations}, journal = {J. Funct. Program.}, volume = {30}, pages = {e5}, year = {2020} } @article{HillerstromLL20, author = {Daniel Hillerstr{\"{o}}m and Sam Lindley and John Longley}, title = {Effects for Efficiency: Asymptotic Speedup with First-Class Control}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{ICFP}}, pages = {100:1--100:29}, year = {2020} } # Unix @article{RitchieT74, author = {Dennis Ritchie and Ken Thompson}, title = {The {UNIX} Time-Sharing System}, journal = {Commun. {ACM}}, volume = {17}, number = {7}, pages = {365--375}, year = {1974} } # CEK & C @InProceedings{FelleisenF86, title={Control Operators, the {SECD}-machine, and the $\lambda$-Calculus}, author={Felleisen, Matthias and Friedman, Daniel P.}, year=1987, booktitle = {Formal Description of Programming Concepts III}, OPTbooktitle = {The Proceedings of the Conference on Formal Description of Programming Concepts III, Ebberup, Denmark}, pages = {193--217}, OPTpublisher={North Holland} }