The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell (1997)

Cached

Download Links

by Einar W. Karlsen
Citations:11 - 6 self

Active Bibliography

5 The UniForM WorkBench - a Higher Order Tool Integration Framework – Einar W. Karlsen - 1998
8 HOL-Z in the UniForM-Workbench - a Case Study in Tool Integration for Z – C. Lüth, E. W. Karlsen, Kolyang, S. Westmeier, B. Wolff - 1998
The UniForM Concurrency ToolKit Version 0.2 Reference Manual – Einar W. Karlsen - 1998
unknown title – unknown authors
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
8 Integrating Interactive Tools using Concurrent Haskell and Synchronous Events – Einar W. Karlsen - 1997
3 Using Concurrent Haskell to Develop User Interfaces over an Active Repository – Einar W. Karlsen, Stefan Westmeier - 1997
3 Tool Integration in the UniForM-Workbench – C. Lüth, E. W. Karlsen, Kolyang, S. Westmeier, B. Wolff - 1998
September 1999 CSPHD – University Of Bristol, Eleni Spiliopoulou - 1999
33 Concurrent ML: Design, Application and Semantics – John H. Reppy - 1993
3 PiLib: A hosted language for pi-calculus style concurrency – Vincent Cremet, Martin Odersky - 2003
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
5 A Concurrent ML Library in Concurrent Haskell – Avik Chaudhuri
Temporal Semantics of a Concurrency Monad With Choice and Services – Thomas Frauenstein, Wolfgang Grieskamp, Mario Sudholt
15 Generic Graphical User Interfaces – Peter Achten, Marko Van Eekelen, Rinus Plasmeijer - 2003
4 Pict Language Definition – Benjamin C. Pierce, David N. Turner - 1996
13 A Typed Higher-Order Programming Language Based on the Pi-Calculus – Benjamin C. Pierce, Didier Rémy, David N. Turner - 1993
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
unknown title – unknown authors - 1997