Journals and Conferences that author prefers

Journals

1. J. Funct. Program. (4 paper(s))
2. Higher-Order and Symbolic Computation (4 paper(s))
3. Electr. Notes Theor. Comput. Sci. (3 paper(s))
4. Inf. Process. Lett. (3 paper(s))
5. Theor. Comput. Sci. (2 paper(s))
6. ACM Trans. Comput. Log. (2 paper(s))
7. CoRR (2 paper(s))
8. ACM Trans. Program. Lang. Syst. (2 paper(s))
9. ACM Comput. Surv. (2 paper(s))
10. Ann. Pure Appl. Logic (1 paper(s))
11. Bulletin of Symbolic Logic (1 paper(s))
12. IEEE Computer Graphics and Applications (1 paper(s))
13. Inf. Comput. (1 paper(s))
14. J. ACM (1 paper(s))
15. J. Symb. Comput. (1 paper(s))
16. J. Log. Comput. (1 paper(s))
17. SIGPLAN Notices (1 paper(s))

Conferences

1. Symposium on Principles of Programming Languages (POPL) (15 paper(s))
2. (10 paper(s))
3. ACM SIGPLAN International Conference on Functional Programming (ICFP) (5 paper(s))
4. Logic in Computer Science (LICS) (4 paper(s))
5. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (4 paper(s))
6. TAPSOFT (2 paper(s))
7. Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC) (2 paper(s))
8. Types In Languages Design And Implementation (2 paper(s))
9. IEEE Symposium on Computer-Based Medical Systems (1 paper(s))
10. Symposium on Discrete Algorithms (SODA) (1 paper(s))
11. Conference for Computer Science Logic (CSL) (1 paper(s))
12. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
13. Category Theory and Computer Science (1 paper(s))
14. Publications Resulting from Dagstuhl Seminars (1 paper(s))
15. Workshop on Persistent Objects (POS) (1 paper(s))
16. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
17. (1 paper(s))
18. Grid Computing (1 paper(s))
19. (1 paper(s))
20. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
21. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))