*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 278
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
journal of functional programming
15
acm sigplan notices
5
international journal of parallel programming
5
j. funct. program. (uk)
5
plos one
5
sigplan not. (usa)
5
*more* ...
sigplan notices
5
acm transactions on programming languages & systems
4
abstracts with programs - geological society of america
2
computer physics communications
2
electronic proceedings in theoretical computer science
2
journal of physics: conference series
2
journal of systems and software
2
lecture notes in computer science
2
parallel computing
2
physiological genomics
2
procedia computer science
2
proceedings of the acm on programming languages
2
scientific investigations report
2
social pharmacy in health care
2
systems and computers in japan
2
translational neuroscience
2
urban, planning and transport research
2
1994 proceedings of the twenty-seventh hawaii international conference on system sciences, system sciences, 1994. proceedings of the twenty-seventh hawaii international conference on
1
2006 international conference on parallel architectures and compilation techniques (pact), parallel architectures and compilation techniques (pact), 2006 international conference on
1
2010 conference on design and architectures for signal and image processing (dasip), design and architectures for signal and image processing (dasip), 2010 conference on
1
2025 ieee 18th international symposium on embedded multicore/many-core systems-on-chip (mcsoc), embedded multicore/many-core systems-on-chip (mcsoc), 2025 ieee 18th international symposium on, mcsoc
1
2026 ieee/acm international symposium on code generation and optimization (cgo), code generation and optimization (cgo), 2026 ieee/acm international symposium on
1
aachen-dresden international textile conference - aachen-dresden textiltagung, 9
1
acm transactions on embedded computing systems
1
*less* ...
*SubjectEDS*
program compilers
43
02 engineering and technology
25
0202 electrical engineering, electronic engineering, information engineering
24
functional programming
15
functional languages
13
programming languages
13
*more* ...
01 natural sciences
9
compiler
8
computing and processing
8
java
8
object-oriented programming
8
compilers (computer programs)
7
computer science - programming languages
7
parallel programming
7
type theory
7
0102 computer and information sciences
6
dynamic programming
6
embedded systems
6
program diagnostics
6
11. sustainability
5
algorithms
5
components, circuits, devices and systems
5
computer programming
5
computer software
5
formal verification
5
informatik
5
parallel languages
5
partial evaluation (compilers)
5
program verification
5
virtual machines
5
*less* ...
*Publisher*
acm
34
ieee
13
cambridge university press
12
springer nature
9
springer-verlag
8
elsevier b.v.
6
*more* ...
association for computing machinery (acm)
5
springer berlin heidelberg
5
association for computing machinery
4
avdelningen for datalogi
4
datalogi
4
dean allan kulik
4
uppsala : acta universitatis upsaliensis
4
wti-frankfurt-digital gmbh
4
ieee comput. soc. press
3
iop publishing
3
public library of science
3
springer international publishing
3
springer, berlin
3
springer, cham
3
acm - association for computing machinery
2
american physiological society
2
association francaise d'informatique musicale
2
geological society of america gsa boulder co united states
2
iufro
2
mdpi
2
open publishing association
2
public library of science (plos)
2
religacion press
2
springer-verlag, berlin
2
*less* ...
*Language*
*SourceEDS*
OpenAIRE
83
Inspec
68
OAIster
24
Complementary Index
17
MathSciNet via EBSCOhost
16
TEMA
13
*more* ...
IEEE Xplore Digital Library
9
Academic Search Index
8
Supplemental Index
4
wiso
4
MEDLINE
4
arXiv
4
Business Source Premier
3
British Library EThOS
3
GeoRef
3
Scopus®
3
Directory of Open Access Journals
3
FIS Bildung Literaturdatenbank (German Education Index)
2
APA PsycInfo
2
eBook Index
1
CEABA
1
Science Citation Index Expanded
1
Europeana
1
dblp computer science bibliography
1
*less* ...
*adv_search_year*
*Filter*