Linear Observations & Computational Effects

  • Simpson, Alexander (Principal Investigator)

Search results

  • 2014

    The enriched effect calculus: syntax and semantics

    Egger, J., Møgelberg, R. E. & Simpson, A., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654 40 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • 2012

    Linear-use CPS translations in the enriched effect calculus

    Egger, J., Møgelberg, R. & Simpson, A., 2012, In: Logical Methods in Computer Science. 8, 4, p. 1-27 27 p., 2.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • 2010

    A Generic Operational Metatheory for Algebraic Effects

    Johann, P., Simpson, A. & Voigtlander, J., 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science. Los Alamitos, CA, USA: Institute of Electrical and Electronics Engineers, p. 209-218 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Linearly-Used Continuations in the Enriched Effect Calculus

    Egger, J., Møgelberg, R. & Simpson, A., 2010, Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Ong, L. (ed.). Springer, Vol. 6014. p. 18-32 15 p. (Lecture Notes in Computer Science; vol. 6014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2009

    Enriching an effect calculus with linear types

    Egger, J., Møgelberg, R. E. & Simpson, A., 2009, Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic. Berlin, Heidelberg: Springer, p. 240-254 15 p. (Lecture Notes in Computer Science; vol. 5771).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File