Publisher
Springer Nature Switzerland
Reference73 articles.
1. Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: static race detection for Java. ACM Trans. Program. Lang. Syst. 28(2) (2006)
2. Amtoft, T., Nielson, F., Nielson, H.R.: Type and Effect Systems: Behaviours for Concurrency. Imperial College Press, London (1999)
3. Atkey, R.: Parameterised notions of computation. J. Funct. Program. 19, 335–376 (2009)
4. Bao, Y., Wei, G., Bračevac, O., Juan, Y., He, Q., Rompf, T.: Reachability types: tracking aliasing and separation in higher-order functional programs. Proc. ACM Program. Lang. 5(OOPSLA) (2021)
5. Birkhoff, G.: Lattice Theory, Colloquium Publications, vol. 25. American Mathematical Society (1940). Third edition, eighth printing with corrections, 1995