The following pages link to (Q2989002):
Displaying 5 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda (Q2209538) (← links)
- Functional reactive types (Q4635639) (← links)
- (Q4790347) (← links)
- Strong types for coordinating active objects (Q4790922) (← links)