Multilisp
From MaRDI portal
Cited in
(58)- Asynchronous sequential processes
- As-if-serial exception handling semantics for Java futures
- An assessment of Multilisp: Lessons from experience
- Functional programming with combinators
- Efficient algorithms for parallel sorting on mesh multicomputers
- SC-net: A hybrid connectionist, symbolic system
- Bounded quantifications for iteration and concurrency in logic programming
- simpA
- JoCaml
- EARTH--MANNA
- Continuation-based transformations for coordination languages
- An evaluation of interaction paradigms for active objects
- ProActive
- Ivor
- Erlang
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Towards a \(\mathbb{K}\)ool future
- Grace
- Camlflow
- Alfalfa
- Symgrid
- iTasks
- GUM
- Creol
- Dynamic structural operational semantics
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- A reduction semantics for direct-style asynchronous observables
- Controlling procedural modeling programs with stochastically-ordered sequential Monte Carlo
- NESL
- Functions as session-typed processes
- Java Jr
- Toward a formal semantic framework for deterministic parallel programming
- ABS
- JCobox
- CUBIC
- PAL+
- Eden
- GHC
- Terra
- Welterweight Java
- JavAdaptor
- MULTILISP: a language for concurrent symbolic computation
- ABCL
- AmbientTalk
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- Dependence analysis for safe futures
- KOOL
- Distributed Objects for Parallel Numerical Applications
- A sound and complete reasoning system for asynchronous communication with shared futures
- On sessions and infinite data
- Transparent fault tolerance for scalable functional computation
- Oracle-guided scheduling for controlling granularity in implicitly parallel languages
- KeY-ABS
- Types for Proofs and Programs
- Behavioral interface description of an object-oriented language with futures and promises
- A concurrent lambda calculus with futures
- Compositional reasoning about active objects with shared futures
- Backwards type analysis of asynchronous method calls
This page was built for software: Multilisp
