*Search Results* - Polymorphic type inference for object-oriented programming languages

*to main content*

*to footer with external links*

sublabel_Solr

1
2
3
4
5
6
7
8
9
*Next*
[9]

1

Polymorphic type inference for object-oriented programming languages

Hense, Andreas V. (Verfasser)

[2007]

*eBook*

2

LJGS: Gradual security types for object-oriented languages

Thiemann, Peter (Verfasser)

Freiburg : Universität, 2021

*eBook*

3

Android programming with Kotlin for beginners : build Android apps starting from zero programming experience with the new Kotlin programming language

Horton, John (Verfasser)

Birmingham, UK : Packt Publishing, April 2019

*book*

4

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Wies, Thomas (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

*eBook*

5

Object oriented programming : 15th European conference ; proceedings

Knudsen, Jørgen Lindskov (Herausgeber)

Berlin : Springer, 2001

*book*

6

Polymorphic type interference for object oriented programming languages

Hense, Andreas V.

Saarbrücken : Pirrot, 1994

*book*

7

Practical probabilistic programming

Pfeffer, Avi (Verfasser)

Shelter Island : Manning, [2016]

*book*

8

Essentials of programming languages

Friedman, Daniel P. (Verfasser)

3. edition

Cambridge, Mass. : MIT Press, 2008

*book*

9

Programming language concepts

Sestoft, Peter

London [u.a.] : Springer, 2012

*book*

10

Foundations of object-oriented languages : types and semantics

Bruce, Kim B.

Cambridge, Mass. [u.a.] : MIT Press, 2002

*book*

11

Object-oriented software construction

Meyer, Bertrand

2. ed., 16. print.

New York : Prentice Hall, 2009

*book*

12

Types and programming languages

Pierce, Benjamin C. (Verfasser)

Cambridge, Mass. : MIT Press, 2002

*book*

13

An introduction to object-oriented programming

Budd, Timothy

3. ed., international edition

Upper Saddle River, N.J. : Addison-Wesley Pub Co [u.a.], 2002

*book*

14

Object oriented type systems

Palsberg, Jens

Chichester [u.a.] : Wiley, 1994

*book*

15

Object oriented technology : workshop reader, workshops, demos, and posters ; proceedings

Demeyer, Serge (Herausgeber)

Berlin : Springer, 1998

*book*

16

Testing object-oriented systems : models, patterns, and tools

Binder, Robert V.

7th print.

Boston [u.a.] : Addison-Wesley, 2006

*book*

17

Programming languages and systems : proceedings

Smolka, Gert (Herausgeber)

Berlin : Springer, 2000

*book*

18

ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings

Vitek, Jan (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

19

Object oriented programming : a unified foundation

Castagna, Giuseppe

Boston [u.a.] : Birkhäuser, 1997

*book*

20

Testing object-oriented systems : models, patterns, and tools

Binder, Robert V.

6. print.

Boston [u.a.] : Addison-Wesley, 2005

*book*

1
2
3
4
5
6
7
8
9
*Next*
[9]