Travelled to:1 × Cyprus
Collaborated with:M.v.d.Brand A.Serebrenik A.T.Hofkamp
Talks about:specifi (1) languag (1) checker (1) specif (1) report (1) formal (1) experi (1) domain (1) type (1)
♂ Person: Arjan P. van der Meer
DBLP: Meer:Arjan_P=_van_der
Facilitated 1 volumes:
WebChContributed to:
2010Wrote 1 papers:
- LDTA-2010-BrandMSH #case study #domain-specific language #experience
- Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.