Sciweavers

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