Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 20
von 286
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
datatype-generic programming
36
haskell
34
generic programming
29
functional programming
19
computer science
16
dependent types
15
mehr ...
software engineering
13
agda
12
data structures
10
design
8
optimization
8
languages
7
logics and meanings of programs
7
programming languages, compilers, interpreters
7
programming techniques
7
allegory
6
generic programming (computer science)
6
algorithms
5
computer programming
5
electronic computers. computer science
5
fixed points
5
partial evaluation
5
polytypic programming
5
programming languages
5
scala
5
type classes
5
computer science - programming languages
4
datatype
4
diff
4
functional programming keywords datatype-generic programming
4
weniger ...
Veröffentlicht in
science of computer programming
13
datatype-generic programming
6
journal of functional programming
6
theory of computing systems
6
proceedings of the seventh acm sigplan workshop on generic programming
4
acm sigplan notices
3
mehr ...
proceedings of the 6th acm sigplan workshop on generic programming
3
acm / sigplan notices
2
arxiv
2
electronic proceedings in theoretical computer science
2
lecture notes in computer science
2
proceedings of the 14th acm sigplan international conference on functional programming
2
proceedings of the 16th acm sigplan international conference on functional programming
2
proceedings of the 2006 acm sigplan workshop on generic programming
2
proceedings of the 2006 acm sigplan workshop: generic programming
2
proceedings of the 2009 acm sigplan workshop on generic programming
2
proceedings of the 8th acm sigplan workshop on generic programming
2
proceedings of the 9th acm sigplan workshop on generic programming
2
proceedings of the acm sigplan workshop on generic programming
2
24th annual ieee symposium on logic in computer science
1
acm sigplan notices ; volume 44, issue 11, page 7-7 ; issn 0362-1340 1558-1160
1
advanced functional programming
1
biblioteca digital de teses e dissertacoes da ufmg
1
fm 2006: formal methods
1
hybrid artificial intelligence systems (9783642138027)
1
icfp, acm sigplan international conference on functional programming, 24, haskell, acm sigplan haskell symposium, 12
1
icfp'14---proceedings of the 2014 acm sigplan international conference on functional programming
1
logical approaches to computational barriers
1
proceedings of the 10th acm sigplan workshop on generic programming
1
proceedings of the 11th acm sigplan international symposium on haskell
1
weniger ...
Verlag
association for computing machinery (acm)
16
springer nature
13
acm
11
elsevier b.v.
10
association for computing machinery
8
springer berlin heidelberg
8
mehr ...
springer
7
cambridge university press
6
open publishing association
5
cambridge university press (cup)
4
zenodo
4
assoc computing machinery
3
elsevier science bv
3
university of oxford
2
wti-frankfurt-digital gmbh
2
acm - association for computing machinery
1
acm press
1
acm, new york
1
acm, new york, ny
1
br
1
cambridge univ press
1
cambridge university press. the journal's web site is located at http://journals.cambridge.org/action/displayjournal?jid=jfp
1
chalmers tekniska hogskola / institutionen for data- och informationsteknik (chalmers)
1
edinburgh
1
elsevier
1
germany
1
glasgow
1
ieee computer soc., los alamitos, ca
1
ieee computer society
1
new york : acm
1
weniger ...
Datenbank
BASE
183
ACM Full-Text Collection
39
Complementary Index
19
Science Citation Index Expanded
8
Academic Search Index
7
ScienceDirect
5
mehr ...
Networked Digital Library of Theses & Dissertations
4
arXiv
4
GBV Online Contents
3
MathSciNet via EBSCOhost
3
Gale Academic OneFile
2
Directory of Open Access Journals
2
wiso
2
eBook Index
1
TEMA
1
Harvard Library Bibliographic Dataset
1
Business Source Premier
1
Supplemental Index
1
weniger ...
Erscheinungsjahr
Filter