Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (8 paper(s))
2. Mathematical Structures in Computer Science (2 paper(s))
3. Fundam. Inform. (1 paper(s))
4. Logic Journal of the IGPL (1 paper(s))
5. ITA (1 paper(s))
6. J. Funct. Program. (1 paper(s))
7. J. Symb. Comput. (1 paper(s))
8. Higher-Order and Symbolic Computation (1 paper(s))
9. Nord. J. Comput. (1 paper(s))
10. Theor. Comput. Sci. (1 paper(s))
11. CoRR (1 paper(s))

Conferences

1. (4 paper(s))
2. International Conference on Typed Lambda Calculus and Applications (TLCA) (4 paper(s))
3. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
4. ACM SIGPLAN International Conference on Functional Programming (ICFP) (3 paper(s))
5. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
6. Rewriting Techniques and Applications (RTA) (2 paper(s))
7. Asian Symposium on Programming Languages and Systems (1 paper(s))
8. Conference for Computer Science Logic (CSL) (1 paper(s))
9. Category Theory and Computer Science (1 paper(s))
10. Fixed Points in Computer Science (1 paper(s))
11. Frontiers of Combining Systems (FroCoS) (1 paper(s))
12. Mathematics of Program Construction (MPC) (1 paper(s))
13. Conference on Algebra and Coalgebra in Computer Science (1 paper(s))
14. Scottish Functional Programming Workshops (1 paper(s))