High-Level Abstraction, Safety and Code Generation in Coconut Conference Paper uri icon

  •  
  • Overview
  •  

authors

  • Anand, Christopher
  • Dobrogost, Michal
  • Moghadas, Maryam
  • Pavlin, Jessica
  • Toporovskyy, Yuriy
  • Kahl, Wolfram