Journals and Conferences that author prefers

Journals

1. Comput. J. (1 paper(s))
2. Inf. Process. Lett. (1 paper(s))
3. ITA (1 paper(s))
4. J. Funct. Program. (1 paper(s))
5. Higher-Order and Symbolic Computation (1 paper(s))
6. J. Log. Comput. (1 paper(s))
7. Mathematical Structures in Computer Science (1 paper(s))
8. Sci. Comput. Program. (1 paper(s))
9. SIGPLAN Notices (1 paper(s))

Conferences

1. ACM SIGPLAN International Conference on Functional Programming (ICFP) (5 paper(s))
2. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
3. Conference on Functional Programming Languages and Computer Architecture (FPCA) (4 paper(s))
4. Functional Programming Workshops (3 paper(s))
5. European Symposium on Programming (ESOP) (2 paper(s))
6. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2 paper(s))
7. Advanced Functional Programming (1 paper(s))
8. Computer Aided Verification (CAV) (1 paper(s))
9. (1 paper(s))
10. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
11. International Workshop on Database Programming Languages (1 paper(s))
12. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
13. International Conference on Computer Languages (ICCL) (1 paper(s))
14. International Conference on Logic Programming (1 paper(s))
15. International Conference on Software Engineering (ICSE) (1 paper(s))