Sciweavers

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