Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
robot (2) translat (1) dialect (1) type (1) safe (1) myro (1) api (1) ada (1)
Person: Alexander S. Mentis
DBLP: Mentis:Alexander_S=
Contributed to:
Wrote 1 papers:
- SIGAda-2009-Mentis #ada #api #type safety
- A robotics API dialect for type-safe robots: translating Myro to Ada (ASM), pp. 91–102.