*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 111
*custom_text_below_search_result*
*Refine Results*
*Format*
*Published in*
sigplan not. (usa)
11
sigplan notices
11
journal of functional programming
5
science of computer programming
5
acm sigplan notices
3
proceedings of the acm on programming languages
3
*more* ...
sigplan notice - acm
3
theory and practice of object systems
3
acm computing surveys
2
acm transactions on database systems
2
acm transactions on programming languages & systems
2
iwbs-report
2
j. funct. program. (uk)
2
lecture notes in computer science
2
proc. acm program. lang. (usa)
2
sci. comput. program. (netherlands)
2
theory pract. object syst. (usa)
2
[1989] proceedings. fourth annual symposium on logic in computer science, logic in computer science, 1989. lics '89, proceedings., fourth annual symposium on
1
acm sigplan not. (usa)
1
acm trans. database syst. (usa)
1
acm transactions on software engineering & methodology
1
arxiv
1
arxiv (usa)
1
conference proceedings on object-oriented programming systems, languages and applications
1
electronic notes in theoretical computer science
1
in search of elegance in the theory and practice of computation: essays dedicated to peter buneman
1
object-oriented databases: analysis, design and construction (ds-4), proceedings of the ifip tc2/wg2, 6 working conference, windermere, gb
1
object-oriented databases: analysis, design and construction (ds-4), proceedings of the ifip tc2/wg2, 6 working conference, windermere, gb, 2-6 july 1990
1
oopsla '91 conference. object-oriented programming systems, languages, and applications, phoenix, usa, oct. 6-11, 1991
1
oopsla, conference on object-oriented programming systems, languages and applications, annual conference, 9
1
*less* ...
*SubjectEDS*
object-oriented programming
30
type theory
25
02 engineering and technology
21
0202 electrical engineering, electronic engineering, information engineering
21
object-oriented languages
17
inference mechanisms
16
*more* ...
01 natural sciences
12
0102 computer and information sciences
12
java
10
functional programming
9
data structures
8
objektorientierte programmierung
8
inheritance
7
reasoning about programs
7
abstract data types
6
functional languages
6
type inference
6
problemorientierte programmiersprache
5
programming languages
5
semantik
5
algorithmus
4
aspect-oriented programming
4
constraint handling
4
graph
4
logikprogrammierung
4
polymorphie
4
problemorientierte programmierung
4
program diagnostics
4
programmiertheorie
4
software libraries
4
*less* ...
*Publisher*
acm
25
springer-verlag
8
wti-frankfurt-digital gmbh
7
acm press
6
association for computing machinery (acm)
5
wiley
5
*more* ...
cambridge university press
4
springer verlag
4
association for computing machinery
3
elsevier b.v.
3
arxiv
2
elsevier bv
2
ieee comput. soc. press
2
north-holland
2
springer nature
2
universitat des saarlandes
2
acm - association for computing machinery
1
aito - association internationale pour les technologies objets
1
cambridge university press (cup)
1
defense technical information center
1
elsevier science b.v.
1
ieee
1
ieee comput. soc.
1
springer
1
springer berlin heidelberg
1
world scientific
1
*less* ...
*Language*
*SourceEDS*
*adv_search_year*
*Filter*