Travelled to:
1 × Portugal
Collaborated with:
F.Forster F.Steimann
Talks about:
general (2) type (2) systemat (1) program (1) checker (1) eclips (1) declar (1) plug (1) more (1)
Person: Markus Bach
DBLP: Bach:Markus
Contributed to:
Wrote 1 papers:
- FASE-2007-BachFS #eclipse #plugin #programming
- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types (MB, FF, FS), pp. 117–120.