implementation of functional languages (21)
international journal of parallel programming (10)
parallel processing letters (8)
allied academies international conference: proceedings of the academy of educational leadership (ael) (6)
acm / sigplan notices (5)
acm sigplan notices (4)
asia pacific journal of marketing and logistics (4)
fundamenta informaticae (4)
international journal of educational management (4)
journal of automated reasoning (4)
journal of functional programming (4)
journal of higher education theory & practice (4)
concurrency & computation: practice & experience (3)
future generation computer systems-the international journal of escience (3)
journal of supercomputing (3)
computing and informatics (2)
concurrency and computation-practice & experience (2)
european journal of operational research (2)
evolutionary computation (2)
formal methods for components & objects (9783642358869) (2)
future generation computer systems (2)
marketing management association annual conference proceedings (2)
science of computer programming (2)
theory and practice of logic programming (2)
training (2)
trends in functional programming volume 4 (2)
2009 17th european signal processing conference (1)
2009 17th european signal processing conference, signal processing conference, 2009 17th european (1)
2009 29th ieee international conference on distributed computing systems workshops, distributed computing systems workshops, 2009. icdcs workshops '09. 29th ieee international conference on (1)
2010 10th ieee/acm international conference on cluster, cloud & grid computing (ccgrid) (1)
2010 10th ieee/acm international conference on cluster, cloud and grid computing, cluster, cloud and grid computing (ccgrid), 2010 10th ieee/acm international conference on (1)
2013 ieee congress on evolutionary computation (1)
2013 ieee congress on evolutionary computation, evolutionary computation (cec), 2013 ieee congress on (1)
2014 22nd euromicro international conference on parallel, distributed & network-based processing (1)
2014 22nd euromicro international conference on parallel, distributed, and network-based processing, parallel, distributed and network-based processing (pdp), 2014 22nd euromicro international conference on (1)
2019 27th euromicro international conference on parallel, distributed and network-based processing (pdp), parallel, distributed and network-based processing (pdp), 2019 27th euromicro international conference on (1)
2023 ieee embs international conference on biomedical and health informatics (bhi), biomedical and health informatics (bhi), 2023 ieee embs international conference on (1)
acm sigbed review (1)
acm transactions on programming languages & systems (1)
higher-order and symbolic computation (1)
icfp'16---proceedings of the 21st acm sigplan international conference on functional programming (1)
journal of symbolic computation (1)
logic-based program synthesis and transformation (1)
marketing intelligence & planning (1)
ninth international symposium on symbolic and numeric algorithms for scientific computing (synasc 2007), symbolic and numeric algorithms for scientific computing, 2007. synasc. international symposium on (1)
proceedings---16th interaction and concurrency experience (1)
programming languages and systems---esop '94 (edinburgh, 1994) (1)
sixth international symposium on parallel and distributed computing (ispdc'07), parallel and distributed computing, 2007. ispdc '07. sixth international symposium on (1)
the journal of supercomputing: an international journal of high-performance computer design, analysis, and use (1)
types for proofs and programs (1)