Journals and Conferences that author prefers

Journals

1. J. Funct. Program. (4 paper(s))
2. CoRR (4 paper(s))
3. Electr. Notes Theor. Comput. Sci. (2 paper(s))
4. ACM Trans. Program. Lang. Syst. (2 paper(s))
5. J. Autom. Reasoning (1 paper(s))
6. Softw., Pract. Exper. (1 paper(s))
7. Commun. ACM (1 paper(s))

Conferences

1. Symposium on Principles of Programming Languages (POPL) (9 paper(s))
2. European Symposium on Programming (ESOP) (4 paper(s))
3. (4 paper(s))
4. Computer Aided Verification (CAV) (1 paper(s))
5. Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC) (1 paper(s))
6. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
7. TYPES Workshops (1 paper(s))
8. Research in Smart Cards (E-smart) (1 paper(s))
9. Russian Conference on Logic Programming / (1 paper(s))
10. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
11. World Congress on Formal Methods (FM) (1 paper(s))
12. Rewriting Techniques and Applications (RTA) (1 paper(s))
13. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
14. Generative Programming and Component Engineering (1 paper(s))
15. IEEE International Conference on Formal Engineering Methods (1 paper(s))
16. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
17. Automated Software Engineering (ASE) (1 paper(s))
18. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
19. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))