Details
Title
Kuraj, Ivan
Sciper ID
200683
Affiliated labs
LARA
Publications
Complete Completion using Types and Weights
Interactive Code Generation
On Complete Completion using Types and Weights
On Fast Code Completion using Type Inhabitation
On Integrating Deductive Synthesis and Verification Systems
On Repairing Ill-Typed Expressions
Programming with Enumerable Sets of Structures
Interactive Code Generation
On Complete Completion using Types and Weights
On Fast Code Completion using Type Inhabitation
On Integrating Deductive Synthesis and Verification Systems
On Repairing Ill-Typed Expressions
Programming with Enumerable Sets of Structures
Link to search
All resources
Record appears in
Authorities > People