( en | de | ru )

 

Disambiguation of "Sage, Meurig"

Author of the publication

copydeleteadd this publication to your clipboard
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style.

, and . INTERACT, volume 96 of IFIP Conference Proceedings, page 126-133. Chapman & Hall, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Siegfried Sage

Siegfried Sage

Aled Sage

Kingsley Sage

Walter Sage

 

Other publications of authors with the same name

Formally verified, rapid prototyping for Air Traffic Control., and . Reliab. Eng. Syst. Saf., 75 (2): 121-132 (2002)Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle., and . DSV-IS, page 134-154. Springer, (1998)Dynamic Links for Mobile Connected Context-Sensitive Systems., and . EHCI, volume 2254 of Lecture Notes in Computer Science, page 281-298. Springer, (2001)Data Capture for Clinical Anaesthesia on a Pen-based PDA: Is It a Viable Alternative to Paper?, , , and . BCS HCI/IHM, page 439-456. Springer, (2001)FranTk - a declarative GUI language for Haskell.. ICFP, page 106-117. ACM, (2000)SIGPLAN Notices 35(9), September 2000.Interactors and Haggis: Executable specifications for interactive systems., and . DSV-IS, page 93-108. Springer, (1997)Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style., and . INTERACT, volume 96 of IFIP Conference Proceedings, page 126-133. Chapman & Hall, (1997)Declarative support for prototyping interactive systems.. University of Glasgow, UK, (2001)British Library, EThOS.A multi-scaled display technique for PDAs., , and . CHI Extended Abstracts, page 123-124. ACM, (2001)