acm sigplan notices (5)
acm / sigplan notices (4)
information and computation (3)
journal of computational science (3)
journal of logical and algebraic methods in programming (3)
computing in science & engineering (2)
journal of functional programming (2)
procedia computer science (2)
2019 ieee/acm 14th international workshop on software engineering for science (se4science), software engineering for science (se4science), 2019 ieee/acm 14th international workshop on (1)
5th international conference on formal structures for computation and deduction (1)
acm international conference proceeding series (1)
automata, languages & programming (9783642392115) (1)
automata, languages, and programming. part ii (1)
computing in science & engineering, comput. sci. eng. (1)
electronic proceedings in theoretical computer science (1)
icfp'14---proceedings of the 2014 acm sigplan international conference on functional programming (1)
icfp'16---proceedings of the 21st acm sigplan international conference on functional programming (1)
implementation & application of functional languages: 24th international symposium, ifl 2012, oxford, uk, august 30-september 1, 2012, revised selected papers (1)
information & computation (1)
logic-based program synthesis and transformation (1)
mathematics in computer science (1)
proceedings eighth workshop on mathematically structured functional programming (1)
proceedings of the 10th sigplan symposium: new ideas, new paradigms & reflections on programming & software (1)
proceedings of the 18th acm sigplan international conference functional programming (1)
proceedings of the 19th acm sigplan international conference functional programming (1)
proceedings---second joint international workshop on linearity \& trends in linear logic and applications (1)
semantics, logics & calculi (1)
semantics, logics, and calculi (1)