Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer 1 - 20 von 111

1

Polymorphic type inference for a simple object oriented programming language with state
Hense, Andreas V.

ddc:004 subtyping class inheritance imperative features
Report
Zu den Favoriten
2

Polymorphic type inference for object-oriented programming languages
Hense, Andreas V. ; Smolka, Gert

ddc:004 type inference object-oriented programm... Typinferenzsystem OSMALL Objektorientierte Progra...
Dissertation
Zu den Favoriten
3

Structure editors: user-defined type values and type inference
Harrison, C.J. ; Naeem, M.
Proceedings International Conference on Software Methods and Tools. SMT 2000 Software methods and tools - SMT 2000 Software Methods and Tools, 2000. SMT 2000. Proceedings. International Conference on. :241-247 2000

Konferenz
Zu den Favoriten
4

On type inference for object-oriented programming languages
Hans Leiß
Lecture Notes in Computer Science ISBN: 9783540502418

Buch
Zu den Favoriten
6

Polymorphic subtyping in O'Haskell
Nordlander, Johan
Science of Computer Programming. May2002, Vol. 43 Issue 2/3, p93. 35p.

PROGRAMMING languages INFERENCE (Logic)
Fachzeitschrift
Zu den Favoriten
7

On Understanding Types, Data Abstraction, and Polymorphism.
Cardelli, Luca ; Wegner, Peter
ACM Computing Surveys. Dec85, Vol. 17 Issue 4, p471-522. 52p.

PROGRAMMING languages OBJECT-oriented programm... SYSTEMS design COMPUTER systems ELECTRONIC file manageme... ELECTRONIC data processi...
Fachzeitschrift
Zu den Favoriten
8

Lightweight family polymorphism
Chieri Saito ; Atsushi Igarashi ; VIROLI, MIRKO
Lecture Notes in Computer Science ISBN: 9783540297352

Theory of programming la... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... TYPE SYSTEMS OBJECT ORIENTED PROGRAMM...
Fachzeitschrift
Zu den Favoriten
9

Inference rules for generic code migration of aspect-oriented programs.
Rubbo, Fernando Barden ; Piveta, Eduardo Kessler ; Nunes, Daltro José
Science of Computer Programming. Aug2013, Vol. 78 Issue 8, p1157-1175. 19p.

JAVA programming languag... CODING theory COMPUTER programming PROGRAMMING languages COMPUTER security CONSTRAINT satisfaction
Fachzeitschrift
Zu den Favoriten
10

Inheritance and explicit coercion
Breazu-Tannen, V. ; Coquand, T. ; Gunter, C.A. ; et al.
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on. :112-129 1989

Konferenz
Zu den Favoriten
11

FC++: Functional tools for object‐oriented tasks: FC++: Functional tools for object-oriented tasks
Smaragdakis, Yannis ; McNamara, Brian
Software: Practice and Experience. 32:1015-1033

Other programming paradi... Computing methodologies... parametric polymorphism Theory of programming la... 0202 electrical engineer... object-oriented programm...
Fachzeitschrift
Zu den Favoriten
12

Haskell's overlooked object system
Kiselyov, Oleg ; Laemmel, Ralf

Computer Science - Progr... D.1.5 D.1.1 D.2.3 D.3.3
Report
Zu den Favoriten
13

Greedy Implicit Bounded Quantification
Chen Cui ; Shengyi Jiang ; Bruno C. d. S. Oliveira
Proceedings of the ACM on Programming Languages. 7:2083-2111

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Fachzeitschrift
Zu den Favoriten
14

Dieses Ergebnis kann Gästen nicht angezeigt werden.

15

Dieses Ergebnis kann Gästen nicht angezeigt werden.

16

Dieses Ergebnis kann Gästen nicht angezeigt werden.

17

Lightweight Family Polymorphism.
Yi, Kwangkeun ; Igarashi, Atsushi ; Saito, Chieri ; et al.
Programming Languages & Systems (9783540297352). 2005, p161-177. 17p.

Buch
Zu den Favoriten
18

Dieses Ergebnis kann Gästen nicht angezeigt werden.

19

Dieses Ergebnis kann Gästen nicht angezeigt werden.

20

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter