- This event has passed.
Data Flow Refinement Type Inference
February 25, 2019 @ 1:45 pm - 2:10 pm
Zvonimir Pavlinovic (New York University) and Thomas Wies (New York University)
New York Seminar on Programming Languages and Software Engineering
February 25, 2019, CUNY Hunter College (sponsored by JSPS US Alumni Association)
Zvonimir Pavlinovic (New York University) and Thomas Wies (New York University)