Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. ACM Trans. Program. Lang. Syst. (3 paper(s))
3. Mathematical Structures in Computer Science (2 paper(s))
4. J. Funct. Program. (1 paper(s))
5. Journal of Object Technology (1 paper(s))
6. Theor. Comput. Sci. (1 paper(s))
7. Fundam. Inform. (1 paper(s))
8. Acta Inf. (1 paper(s))
9. CoRR (1 paper(s))

Conferences

1. (6 paper(s))
2. International Conference on Typed Lambda Calculus and Applications (TLCA) (3 paper(s))
3. Italian Conference on Theoretical Computer Science (ICTCS) (2 paper(s))
4. Theoretical Aspects of Computer Software (TACS) (2 paper(s))
5. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
6. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
7. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
8. (1 paper(s))
9. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
10. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
11. ACM Symposium on Applied Computing (SAC) (1 paper(s))
12. Semantics, Applications, and Implementation of Program Generation (SAIG) (1 paper(s))
13. Static Analysis (WSA/SAS) (1 paper(s))
14. TYPES Workshops (1 paper(s))