Immediate Impact
1 from Science/Nature 5 standout
Citing Papers
Language is primarily a tool for communication rather than thought
2024 StandoutNature
Grounded Copilot: How Programmers Interact with Code-Generating Models
2023 Standout
Works of Ivan Kuraj being referenced
Complete completion using types and weights
2013
Complete completion using types and weights
2013
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Ivan Kuraj | 82 | 87 | 83 | 13 | 141 | |
| Jukka Paakki | 148 | 99 | 108 | 20 | 202 | |
| Mikaël Mayer | 75 | 48 | 64 | 15 | 140 | |
| Tihomir Gvero | 90 | 114 | 98 | 12 | 164 | |
| Michael Marcotty | 93 | 73 | 60 | 9 | 166 | |
| Thomas Dillig | 111 | 73 | 62 | 12 | 163 | |
| Jay McCarthy | 79 | 35 | 30 | 13 | 101 | |
| Tijs van der Storm | 80 | 82 | 80 | 9 | 143 | |
| Curtis Clifton | 159 | 125 | 51 | 15 | 188 | |
| Donald I. Good | 131 | 54 | 58 | 20 | 175 | |
| Stéphane Maag | 28 | 30 | 68 | 10 | 126 |
All Works
Loading papers...