John M. Lucassen

Learn More
We present a new approach to programming languages for parallel computers that uses an <italic>effect system</italic> to discover expression scheduling constraints. This effect system is part of a 'kinded' type system with three base kinds: <italic>types</italic>, which describe the value that an expression may return; <italic>effects</italic>, which(More)
We present a class of programming languages that enables the advantages of functional and imperative computation to be combined within a single program. These languages, which we call fluent languages, have distinct sublanguages for functional and imperative programming. Sublanguage invariants are verified by a static checking system that simultaneously(More)
Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to(More)
  • 1