Pages that link to "Item:Q2986833"
From MaRDI portal
The following pages link to Conservative Concurrency in Haskell (Q2986833):
Displayed 6 items.
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- (Q5020947) (← links)
- Rewriting with generalized nominal unification (Q5139280) (← links)
- Structural Rewriting in the pi-Calculus. (Q5240137) (← links)
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138) (← links)
- Observing Success in the Pi-Calculus (Q5240185) (← links)