Sciweavers

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