acm computing surveys (4)
acm transactions on mathematical software (4)
journal of functional programming (4)
journal of symbolic computation (4)
science of computer programming (4)
artificial intelligence in medicine (3)
logical methods in computer science (3)
software quality journal (3)
term graph rewriting (3)
annual international conference on computer science education: innovation & technology (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)
acm inroads (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)
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)
future generation computer systems-the international journal of escience (1)
ict education (1)
integrated formal methods (9783642307287) (1)
nasa formal methods (1)
nasa formal methods (9783642288906) (1)
proceedings of the 2005 acm sigplan workshop: haskell (1)
proceedings of the 8th international conference: the principles & practice of programming in java (1)
proceedings of the european conference on information systems (ecis) (1)