|
ML Family 2023
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
|
|
PLDI 2024
The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
|
|
OCaml 2023
The OCaml Users and Developers Workshop
|
|
ASPLOS 2024
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
|
|
FLOPS 2024
FLOPS 2024: 17th International Symposium on Functional and Logic Programming
|
|
TFPiE 2024
Trends in Functional Programming in Education
|
|
TFP 2024
25th International Symposium on Trends in Functional Programming
|
|
SLE 2023
16th ACM SIGPLAN International Conference on Software Language Engineering
|
|
CPAIOR 2024
International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
|
|
ISSTA 2024
The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)
|
