Publications

Home
Publications

1 result for Joel Galenson

Programming with angelic nondeterminism
- - Rastislav Bodik
  - Satish Chandra
  - et al.
- 2010
- POPL 2010
Conference paper

Date

Start

End

Featured collections

Popular topics