lambdaS: an implicitly parallel lambda-calculus with recursive bindings, synchronization and side effects

by Arvind , Joe E. Stoy , Jan-willem Maessen , Jan-willem Maessen , Rishiyur S. Nikhil , Rishiyur S. Nikhil , Joseph E. Stoy
Citations:6 - 0 self