Login / Signup
Belmina Dzafic
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
Olivier Danvy
,
Belmina Dzafic
,
Frank Pfenning
On proving syntactic properties of CPS programs.
Electron. Notes Theor. Comput. Sci.
26 (1999)