Ivan Kuraj

Identifiers

• name variant Ivan Kuraj 0.60 · backfill

Papers (2)

1. Program Synthesis from Polymorphic Refinement Types cs.PL · 2015 · author #2
2. On Integrating Deductive Synthesis and Verification Systems cs.PL · 2013 · author #3

Mentions

• 1304.5661 #3 · backfill · confidence 0.70 Ivan Kuraj

Frequent Coauthors

• Armando Solar-Lezama 1 shared papers
• Etienne Kneuss 1 shared papers
• Nadia Polikarpova 1 shared papers
• Philippe Suter 1 shared papers
• Viktor Kuncak 1 shared papers