Sciweavers

10871 search results - page 30 / 2175
» A stable programming language
Sort
View
ICFP
2000
ACM
13 years 12 months ago
Understanding memory allocation of scheme programs
Manuel Serrano, Hans-Juergen Boehm
POPL
1999
ACM
13 years 12 months ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
POPL
1999
ACM
13 years 12 months ago
Dependent Types in Practical Programming
Hongwei Xi, Frank Pfenning
ESOP
1999
Springer
13 years 12 months ago
A Programming Logic for Sequential Java
Arnd Poetzsch-Heffter, Peter Müller