Travelled to:1 × Italy
1 × USA
Collaborated with:M.Walicki J.C.Mitchell N.Madhav D.C.Luckham D.P.Helmbold D.L.Bryan M.A.Haberler
Talks about:nondeterminist (1) distribut (1) standard (1) specifi (1) sequenc (1) languag (1) inherit (1) generat (1) system (1) subtyp (1)
Person: Sigurd Meldal
DBLP: Meldal:Sigurd
Contributed to:
1991
1986
1995Wrote 3 papers:
- POPL-1991-MitchellMM #inheritance #ml #standard #type system
- An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.
- CRAI-1986-LuckhamHMBH #ada #distributed #specification
- Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.
- TAPSOFT-1995-WalickiM #modelling #nondeterminism
- Generated Models and the omega-Rule: The Nondeterministic Case (MW, SM), pp. 424–438.