Sciweavers

10912 search results - page 122 / 2183
» Object-Oriented Programming Languages
Sort
View
POPL
1999
ACM
15 years 11 months ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
158
Voted
POPL
1999
ACM
15 years 11 months ago
Dependent Types in Practical Programming
Hongwei Xi, Frank Pfenning
168
Voted
ESOP
1999
Springer
15 years 11 months ago
A Programming Logic for Sequential Java
Arnd Poetzsch-Heffter, Peter Müller