Sciweavers

10622 search results - page 28 / 2125
» Python Programming Language
Sort
View
POPL
1999
ACM
15 years 2 months ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
POPL
1999
ACM
15 years 2 months ago
Dependent Types in Practical Programming
Hongwei Xi, Frank Pfenning
ESOP
1999
Springer
15 years 2 months ago
A Programming Logic for Sequential Java
Arnd Poetzsch-Heffter, Peter Müller