|
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
|
|
238
|
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
|
|
31
|
Concurrent ML: Design, Application and Semantics
– John H. Reppy
- 1993
|
|
2
|
PiLib: A hosted language for pi-calculus style concurrency
– Vincent Cremet, Martin Odersky
- 2003
|
|
2
|
Formalising and Reasoning about Fudgets
– Colin J. Taylor
- 1998
|
|
2
|
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
|
|
12
|
A Typed Higher-Order Programming Language Based on the Pi-Calculus
– Benjamin C. Pierce, Didier Rémy, David N. Turner
- 1993
|
|
|
unknown title
– unknown authors
- 1997
|
|
84
|
Type Classes: An Exploration of the Design Space
– Simon Peyton Jones, Mark Jones, Erik Meijer
- 1997
|
|
7
|
First-class Synchronous Operations
– John H. Reppy
- 1995
|
