load academicons
Conferences
-
Certified Programs and Proofs (CPP 2025)Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
-
52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)Proceedings of the ACM on Programming Languages (PACMPL)
-
22nd International Conference on Software Engineering and Formal Methods (SEFM 2024)Lecture Notes in Computer Science (LNCS)
-
38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022)Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)
-
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)Proceedings of the ACM on Programming Languages (PACMPL)
-
25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020)Proceedings of the ACM on Programming Languages (PACMPL)
-
12th International Conference on Reversible Computation (RC 2020)Lecture Notes in Computer Science (LNCS)
-
33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018)Electronic Notes in Theoretical Computer Science (ENTCS)
-
45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)Proceedings of the ACM on Programming Languages (PACMPL)
-
10th ACM SIGPLAN International Symposium on Haskell (Haskell 2017)Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell
No matching items
Workshops
-
Fourth Workshop on the Implementation of Type Systems (WITS 2025)
-
Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025)
-
Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF 2024)
-
30 Years of Session Types (ST30)
-
Scheme and Functional Programming Workshop (Scheme 2022)
No matching items
Theses
-
Indiana University
No matching items
Preprints
No matching items