journal of functional programming (6)
acm computing surveys (5)
logical methods in computer science (5)
science of computer programming (5)
acm transactions on mathematical software (4)
journal of symbolic computation (4)
software quality journal (4)
electronic proceedings in theoretical computer science (3)
molecules (3)
term graph rewriting (3)
annual international conference on computer science education: innovation & technology (2)
artificial intelligence in medicine (2)
bioorganic chemistry (2)
computer languages, systems & structures (2)
electronic notes in theoretical computer science (2)
entcs: electronic notes in theoretical computer science (2)
formal methods for industrial critical systems (2)
foundational & practical aspects of resource analysis: third international workshop, fopara 2013, bertinoro, italy, august 29-31, 2013, revised selected papers (2)
higher-order and symbolic computation (2)
icse: international conference on software engineering (2)
journal of higher education / yuksekogretim dergisi (2)
parle. parallel architectures and languages europe, vol.\ ii (eindhoven, 1987) (2)
trends in functional programming (9783642404467) (2)
2013 ieee recent advances in intelligent computational systems (raics) (1)
2013 ieee recent advances in intelligent computational systems (raics), intelligent computational systems (raics), 2013 ieee recent advances in (1)
2013 second international conference on e-learning & e-technologies in education (iceee) (1)
2013 second international conference on e-learning and e-technologies in education (iceee), e-learning and e-technologies in education (iceee), 2013 second international conference on (1)
2014 workshop on socio-technical aspects in security & trust (1)
2014 workshop on socio-technical aspects in security and trust, socio-technical aspects in security and trust (stast), 2014 workshop on (1)
2016 sai computing conference (sai), sai computing conference (sai), 2016 (1)
2018 conference on information communications technology and society (ictas), information communications technology and society (ictas), 2018 conference on (1)
2019 ieee international workshop on information forensics and security (wifs), information forensics and security (wifs), 2019 ieee international workshop on (1)
2020 19th ieee international conference on machine learning and applications (icmla), machine learning and applications (icmla), 2020 19th ieee international conference on, icmla (1)
22nd international conference and exhibition on electricity distribution (cired 2013) (1)
acm / sigplan notices (1)
acm inroads (1)
acm international conference proceeding series (1)
advances in service-oriented & cloud computing (9783319333120) (1)
applications of graph transformations with industrial relevance (1)
beauty of functional code (1)
central european functional programming school: second summer school, cefp 2007, cluj-napoca, romania, june 23-30, 2007, revised selected lectures (1)
computer languages systems & structures (1)
computer supported education (1)
computers & operations research (1)
concurrency and computation-practice & experience (1)
formal methods & software engineering (9783642169007) (1)
formal methods for industrial critical systems (9783642032394) (1)
formal methods for industrial critical systems (9783642045691) (1)
foundational & practical aspects of resource analysis (9783319465586) (1)
foundational & practical aspects of resource analysis (9783642324949) (1)