Stephan A. Missura

Publication Activity (10 Years)

Years Active: 1993-1994
Publications (10 Years): 0

Publications

Stephan A. Missura
Theories = Signatures + Propositions Used as Types. AISMC (1994)
Stephan A. Missura, Andreas Weber
Using Commutativity Properties for Controlling Coercions. AISMC (1994)
Stephan A. Missura
Extending AlgBench with a Type System. DISCO (1993)