-
Notifications
You must be signed in to change notification settings - Fork 0
/
references.bib
748 lines (691 loc) · 28.4 KB
/
references.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
@inproceedings{blinn2022,
author = {Blinn, Andrew and Moon, David and Griffis, Eric and Omar, Cyrus},
booktitle = {2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)},
title = {An Integrative Human-Centered Architecture for Interactive Programming Assistants},
year = {2022},
volume = {},
number = {},
pages = {1-5},
doi = {10.1109/VL/HCC53370.2022.9833110},
}
@article{brady2013,
author = {Edwin C. Brady},
title = {Idris, a general-purpose dependently typed programming language: Design and
implementation},
journal = {J. Funct. Program.},
volume = {23},
number = {5},
pages = {552--593},
year = {2013},
url = {https://doi.org/10.1017/S095679681300018X},
doi = {10.1017/S095679681300018X},
timestamp = {Sun, 21 Jun 2020 17:42:23 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Brady13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{cimini2016,
author = {Matteo Cimini and Jeremy G. Siek},
editor = {Rastislav Bod{\'\i}k, Rupak Majumdar},
title = {The gradualizer: a methodology and algorithm for generating gradual type systems},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
pages = {443--455},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837632},
doi = {10.1145/2837614.2837632},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/CiminiS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{czaplicki2013,
author = {Evan Czaplicki and Stephen Chong},
editor = {Hans{-}Juergen Boehm and Cormac Flanagan},
title = {Asynchronous functional reactive programming for GUIs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI}
'13, Seattle, WA, USA, June 16-19, 2013},
pages = {411--422},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462161},
doi = {10.1145/2491956.2462161},
timestamp = {Fri, 30 Nov 2018 12:24:24 +0100},
biburl = {https://dblp.org/rec/conf/pldi/CzaplickiC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{dunfield2013,
author = {Jana Dunfield and Neelakantan R. Krishnaswami},
editor = {Greg Morrisett and Tarmo Uustalu},
title = {Complete and easy bidirectional typechecking for higher-rank polymorphism},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming, ICFP'13, Boston,
MA, {USA} - September 25 - 27, 2013},
pages = {429--442},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500582},
doi = {10.1145/2500365.2500582},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DunfieldK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{dunfield2019,
author = {Jana Dunfield and Neel Krishnaswami},
title = {Bidirectional Typing},
journal = {CoRR},
volume = {abs/1908.05839},
year = {2019},
url = {http://arxiv.org/abs/1908.05839},
eprinttype = {arXiv},
eprint = {1908.05839},
timestamp = {Fri, 11 Dec 2020 08:11:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05839.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@phdthesis{huet1976,
author = {Gérard P. Huet},
title = {Resolution d'Equations dans les langages d'ordre 1, 2, ..., omega},
school = {Université de Paris VII},
year = {1976},
}
@inproceedings{moon2022,
author = {David Moon and Andrew Blinn and Cyrus Omar},
title = {tylr: a tiny tile-based structure editor},
booktitle = {TyDe '22: 7th {ACM} {SIGPLAN} International Workshop on Type-Driven Development,
Ljubljana, Slovenia, 11 September 2022},
pages = {28--37},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546196.3550164},
doi = {10.1145/3546196.3550164},
timestamp = {Thu, 21 Sep 2023 11:25:57 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MoonBO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{omar2017a,
author = {Cyrus Omar and Ian Voysey and Michael Hilton and Joshua Sunshine and Claire Le Goues and
Jonathan Aldrich and Matthew A. Hammer},
editor = {Benjamin S. Lerner and Rastislav Bod{\'\i}k, Shriram Krishnamurthi},
title = {Toward Semantic Foundations for Program Editors},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May 7-10, 2017,
Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {11:1--11:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.11},
doi = {10.4230/LIPICS.SNAPL.2017.11},
timestamp = {Tue, 21 Mar 2023 20:56:23 +0100},
biburl = {https://dblp.org/rec/conf/snapl/OmarVHSGAH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{omar2017b,
author = {Cyrus Omar and Ian Voysey and Michael Hilton and Jonathan Aldrich and Matthew A. Hammer},
editor = {Giuseppe Castagna and Andrew D. Gordon},
title = {Hazelnut: a bidirectionally typed structure editor calculus},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming
Languages, {POPL} 2017, Paris, France, January 18-20, 2017},
pages = {86--99},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009900},
doi = {10.1145/3009837.3009900},
timestamp = {Sat, 30 Sep 2023 09:54:52 +0200},
biburl = {https://dblp.org/rec/conf/popl/OmarVHAH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{omar2019,
author = {Cyrus Omar and Ian Voysey and Ravi Chugh and Matthew A. Hammer},
title = {Live functional programming with typed holes},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {14:1--14:32},
year = {2019},
url = {https://doi.org/10.1145/3290327},
doi = {10.1145/3290327},
timestamp = {Sat, 30 Sep 2023 10:23:24 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/OmarVCH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@book{pierce2002,
author = {Benjamin C. Pierce},
title = {Types and programming languages},
publisher = {{MIT} Press},
year = {2002},
isbn = {978-0-262-16209-8},
timestamp = {Thu, 03 Feb 2011 10:51:35 +0100},
biburl = {https://dblp.org/rec/books/daglib/0005958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{potter2022,
author = {Hannah Potter and Ardi Madadi and Ren{\'{e}} Just and Cyrus Omar},
editor = {Christophe Scholliers and Jeremy Singer},
title = {Contextualized Programming Language Documentation},
booktitle = {Proceedings of the 2022 {ACM} {SIGPLAN} International Symposium on New Ideas, New
Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New
Zealand, December 8-10, 2022},
pages = {1--15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563835.3567654},
doi = {10.1145/3563835.3567654},
timestamp = {Fri, 02 Dec 2022 18:11:47 +0100},
biburl = {https://dblp.org/rec/conf/onward/PotterMJO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{siek2006,
author = {Jeremy G. Siek and Walid Taha},
booktitle = {Scheme and Functional Programming Workshop},
title = "Gradual Typing for Functional Languages",
year = "2006",
}
@inproceedings{siek2008,
author = {Jeremy G. Siek and Manish Vachharajani},
editor = {Johan Brichau},
title = {Gradual typing with unification-based inference},
booktitle = {Proceedings of the 2008 Symposium on Dynamic Languages, {DLS} 2008, July 8, 2008,
Paphos, Cyprus},
pages = {7},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1408681.1408688},
doi = {10.1145/1408681.1408688},
timestamp = {Tue, 06 Nov 2018 16:57:15 +0100},
biburl = {https://dblp.org/rec/conf/dls/SiekV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{siek2015,
author = {Jeremy G. Siek and Michael M. Vitousek and Matteo Cimini and John Tang Boyland},
editor = {Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and
Greg Morrisett},
title = {Refined Criteria for Gradual Typing},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May 3-6, 2015,
Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {274--293},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.274},
doi = {10.4230/LIPICS.SNAPL.2015.274},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/SiekVCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{seidel2016,
author = {Eric L. Seidel and Ranjit Jhala and Westley Weimer},
editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii},
title = {Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional
Programming, {ICFP} 2016, Nara, Japan, September 18-22, 2016},
pages = {228--242},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951915},
doi = {10.1145/2951913.2951915},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SeidelJW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{seidel2017,
author = {Eric L. Seidel and Huma Sibghat and Kamalika Chaudhuri and Westley Weimer and Ranjit
Jhala},
title = {Learning to blame: localizing novice type errors with data-driven diagnosis},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {60:1--60:27},
year = {2017},
url = {https://doi.org/10.1145/3138818},
doi = {10.1145/3138818},
timestamp = {Wed, 17 Feb 2021 08:54:02 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SeidelSCWJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{solarlezama2013,
author = {Armando Solar{-}Lezama},
title = {Program sketching},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {475--495},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0249-7},
doi = {10.1007/S10009-012-0249-7},
timestamp = {Thu, 14 Oct 2021 09:28:38 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Solar-Lezama13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{vouillon2014,
author = {J{\'{e}}r{\^{o}}me Vouillon and Vincent Balat},
title = {From bytecode to JavaScript: the Js{\_}of{\_}ocaml compiler},
journal = {Softw. Pract. Exp.},
volume = {44},
number = {8},
pages = {951--972},
year = {2014},
url = {https://doi.org/10.1002/spe.2187},
doi = {10.1002/SPE.2187},
timestamp = {Thu, 09 Apr 2020 17:13:20 +0200},
biburl = {https://dblp.org/rec/journals/spe/VouillonB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{garcia2015,
author = {Ronald Garcia and Matteo Cimini},
editor = {Sriram K. Rajamani and David Walker},
title = {Principal Type Schemes for Gradual Programs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015},
pages = {303--315},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676992},
doi = {10.1145/2676726.2676992},
timestamp = {Sat, 30 Sep 2023 09:54:52 +0200},
biburl = {https://dblp.org/rec/conf/popl/GarciaC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@phdthesis{norell2007,
author = {Ulf Norell},
title = {Towards a practical programming language based on dependent type theory},
school = {Department of Computer Science and Engineering, Chalmers University of Technology},
year = 2007,
month = {September},
address = {SE-412 96 G\"{o}teborg, Sweden},
}
@misc{haskell-holes,
author = "HaskellWiki",
title = "GHC/Typed holes --- HaskellWiki",
year = "2014",
url = "https://wiki.haskell.org/index.php?title=GHC/Typed_holes&oldid=58717",
note = "[Online; accessed 2-March-2023]",
}
@article{sorkin2011,
author = {Arthur Sorkin and Peter Donovan},
title = {{LR(1)} parser generation system: {LR(1)} error recovery, oracles, and generic tokens},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {36},
number = {2},
pages = {1--5},
year = {2011},
url = {https://doi.org/10.1145/1943371.1943391},
doi = {10.1145/1943371.1943391},
timestamp = {Thu, 17 Sep 2020 12:05:27 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/SorkinD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{medeiros2020,
author = {S{\'{e}}rgio Queiroz de Medeiros and Gilney de Azevedo Alvez Junior and Fabio
Mascarenhas},
title = {Automatic syntax error reporting and recovery in parsing expression grammars},
journal = {Sci. Comput. Program.},
volume = {187},
pages = {102373},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102373},
doi = {10.1016/J.SCICO.2019.102373},
timestamp = {Fri, 27 Mar 2020 08:35:16 +0100},
biburl = {https://dblp.org/rec/journals/scp/MedeirosJM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{lerner2007,
author = {Benjamin S. Lerner and Matthew Flower and Dan Grossman and Craig Chambers},
editor = {Jeanne Ferrante and Kathryn S. McKinley},
title = {Searching for type-error messages},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming Language Design and
Implementation, San Diego, California, USA, June 10-13, 2007},
pages = {425--434},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250783},
doi = {10.1145/1250734.1250783},
timestamp = {Sat, 09 Apr 2022 12:37:29 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LernerFGC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@misc{chuchem2019,
author = {Chuchem, Yair and Lotem, Eyal},
title = {Steady Typing},
journal = {LIVE 2019},
year = {2019},
}
@article{potter2020,
title = {Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies},
author = {Potter, Hannah and Omar, Cyrus},
journal = {Human Aspects of Types and Reasoning Assistants (HATRA)},
year = {2020},
}
@misc{hazel,
Author = {{Hazel Development Team}},
Title = "Hazel",
Url = {http://hazel.org/},
howpublished = {\url{http://hazel.org/}},
year = {2023},
}
@inproceedings{mcadam1999,
author = "McAdam, Bruce J.",
editor = "Hammond, Kevin and Davie, Tony and Clack, Chris",
title = "On the Unification of Substitutions in Type Inference",
booktitle = "Implementation of Functional Languages",
year = "1999",
publisher = "Springer Berlin Heidelberg",
address = "Berlin, Heidelberg",
pages = "137--152",
abstract = "The response of compilers to programs with type errors can be unpredictable and
confusing. In part this is because the point at which type inference fails may not be
the point at which the programmer has made a mistake. This paper explores a way of
making type inference algorithms fail at different locations in programs so that
clearer error messages may then be produced.",
isbn = "978-3-540-48515-5",
}
@inproceedings{wand1986,
author = {Mitchell Wand},
title = {Finding the Source of Type Errors},
booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles of
Programming Languages, St. Petersburg Beach, Florida, USA, January 1986},
pages = {38--43},
publisher = {{ACM} Press},
year = {1986},
url = {https://doi.org/10.1145/512644.512648},
doi = {10.1145/512644.512648},
timestamp = {Tue, 06 Nov 2018 11:07:43 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wand86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{vazou2018,
author = {Niki Vazou and {\'{E}}ric Tanter and David Van Horn},
title = {Gradual liquid type inference},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {132:1--132:25},
year = {2018},
url = {https://doi.org/10.1145/3276502},
doi = {10.1145/3276502},
timestamp = {Tue, 21 Mar 2023 21:13:49 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/VazouTH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@phdthesis{lennonbertrand2022,
author = {Meven Lennon{-}Bertrand},
title = {Bidirectional Typing for the Calculus of Inductive Constructions. (Typage Bidirectionnel
pour le Calcul des Constructions Inductives)},
school = {University of Nantes, France},
year = {2022},
url = {https://tel.archives-ouvertes.fr/tel-03848595},
timestamp = {Fri, 18 Nov 2022 20:51:28 +0100},
biburl = {https://dblp.org/rec/phd/hal/LennonBertrand22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{pottier2014,
author = {Fran{\c{c}}ois Pottier},
editor = {Johan Jeuring and Manuel M. T. Chakravarty},
title = {Hindley-milner elaboration in applicative style: functional pearl},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on Functional
programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {203--212},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628145},
doi = {10.1145/2628136.2628145},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Pottier14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{odersky1999,
author = {Martin Odersky and Martin Sulzmann and Martin Wehr},
title = {Type Inference with Constrained Types},
journal = {Theory Pract. Object Syst.},
volume = {5},
number = {1},
pages = {35--55},
year = {1999},
timestamp = {Thu, 10 Sep 2020 14:37:52 +0200},
biburl = {https://dblp.org/rec/journals/tapos/OderskySW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{pavlinovic2014,
author = {Zvonimir Pavlinovic and Tim King and Thomas Wies},
editor = {Andrew P. Black and Todd D. Millstein},
title = {Finding minimum type error sources},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming
Systems Languages {\&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland,
OR, USA, October 20-24, 2014},
pages = {525--542},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660230},
doi = {10.1145/2660193.2660230},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PavlinovicKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{zhang2014,
author = {Danfeng Zhang and Andrew C. Myers},
editor = {Suresh Jagannathan and Peter Sewell},
title = {Toward general diagnosis of static errors},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming
Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014},
pages = {569--582},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535870},
doi = {10.1145/2535838.2535870},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZhangM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{bhanuka2023,
title = {Getting into the flow: Towards better type error messages for constraint-based type
inference},
volume = {7},
url = {https://dl.acm.org/doi/10.1145/3622812},
DOI = {10.1145/3622812},
number = {OOPSLA2},
journal = {Proceedings of the ACM on Programming Languages},
author = {Bhanuka, Ishan and Parreaux, Lionel and Binder, David and Brachthäuser, Jonathan
Immanuel},
year = {2023},
pages = {431–459},
}
@inproceedings{heeren2003,
author = {Bastiaan Heeren and Daan Leijen and Arjan van IJzendoorn},
editor = {Johan Jeuring},
title = {Helium, for learning Haskell},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003, Uppsala, Sweden
, August 28, 2003},
pages = {62--71},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/871895.871902},
doi = {10.1145/871895.871902},
timestamp = {Fri, 03 Jun 2022 10:47:45 +0200},
biburl = {https://dblp.org/rec/conf/haskell/HeerenLI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{tip2001,
author = {Frank Tip and T. B. Dinesh},
title = {A slicing-based approach for locating type errors},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {10},
number = {1},
pages = {5--55},
year = {2001},
url = {https://doi.org/10.1145/366378.366379},
doi = {10.1145/366378.366379},
timestamp = {Tue, 06 Nov 2018 12:51:20 +0100},
biburl = {https://dblp.org/rec/journals/tosem/TipD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{schilling2011,
author = {Thomas Schilling},
editor = {Ricardo Pe{\~{n}}a and Rex L. Page},
title = {Constraint-Free Type Error Slicing},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP} 2011, Madrid,
Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {1--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_1},
doi = {10.1007/978-3-642-32037-8\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Schilling11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{haack2003,
author = {Christian Haack and Joe B. Wells},
editor = {Pierpaolo Degano},
title = {Type Error Slicing in Implicitly Typed Higher-Order Languages},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming, {ESOP}
2003, Held as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {284--301},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_20},
doi = {10.1007/3-540-36575-3\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/HaackW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{lee1998,
author = {Oukseh Lee and Kwangkeun Yi},
title = {Proofs about a Folklore Let-Polymorphic Type Inference Algorithm},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {4},
pages = {707--723},
year = {1998},
url = {https://doi.org/10.1145/291891.291892},
doi = {10.1145/291891.291892},
timestamp = {Tue, 06 Nov 2018 12:51:29 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LeeY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{moon2023,
author = {Moon, David and Blinn, Andrew and Omar, Cyrus},
booktitle = {2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)},
title = {Gradual Structure Editing with Obligations},
year = {2023},
volume = {},
number = {},
pages = {71-81},
doi = {10.1109/VL-HCC57772.2023.00016},
}
@article{yuan2023,
author = {Yongwei Yuan and Scott Guest and Eric Griffis and Hannah Potter and David Moon and Cyrus
Omar},
title = {Live Pattern Matching with Typed Holes},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA1}},
pages = {609--635},
year = {2023},
url = {https://doi.org/10.1145/3586048},
doi = {10.1145/3586048},
timestamp = {Wed, 17 May 2023 21:57:27 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/YuanGGPMO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@software{zhao2023,
author = {Zhao, Eric and Maroof, Raef and Dukkipati, Anand and Blinn, Andrew and Pan, Zhiyi and
Omar, Cyrus},
title = {{Artifact for Total Type Error Localization and Recovery with Holes}},
year = 2023,
publisher = {Zenodo},
version = {1.1},
doi = {10.5281/zenodo.10129703},
url = {https://doi.org/10.5281/zenodo.10129703},
}
@inproceedings{barros2022,
author = {Djonathan Barros and Sven Peldszus and Wesley K. G. Assun\c{c}\~{a}o and Thorsten Berger
},
editor = {Eugene Syriani and Houari A. Sahraoui and Nelly Bencomo and Manuel Wimmer},
title = {Editing support for software languages: implementation practices in language server
protocols},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October 23-28, 2022},
pages = {232--243},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552452},
doi = {10.1145/3550355.3552452},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/BarrosPAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{bour2018,
author = {Fr{\'{e}}d{\'{e}}ric Bour and Thomas Refis and Gabriel Scherer},
title = {Merlin: a language server for OCaml (experience report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {103:1--103:15},
year = {2018},
url = {https://doi.org/10.1145/3236798},
doi = {10.1145/3236798},
timestamp = {Wed, 17 Feb 2021 08:54:05 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BourRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{joosten1993,
author = {Stef Joosten and Klaas van den Berg and Gerrit van Der Hoeven},
title = {Teaching Functional Programming to First-Year Students},
journal = {J. Funct. Program.},
volume = {3},
number = {1},
pages = {49--65},
year = {1993},
url = {https://doi.org/10.1017/S0956796800000599},
doi = {10.1017/S0956796800000599},
timestamp = {Thu, 15 Jun 2017 21:30:55 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JoostenBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{pierce2000,
author = {Benjamin C. Pierce and David N. Turner},
title = {Local type inference},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {22},
number = {1},
pages = {1--44},
year = {2000},
url = {https://doi.org/10.1145/345099.345100},
doi = {10.1145/345099.345100},
timestamp = {Tue, 06 Nov 2018 12:51:29 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PierceT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@article{teitelbaum1981,
author = {Tim Teitelbaum and Thomas W. Reps},
title = {The Cornell Program Synthesizer: {A} Syntax-Directed Programming Environment},
journal = {Commun. {ACM}},
volume = {24},
number = {9},
pages = {563--573},
year = {1981},
url = {https://doi.org/10.1145/358746.358755},
doi = {10.1145/358746.358755},
timestamp = {Wed, 14 Nov 2018 10:22:33 +0100},
biburl = {https://dblp.org/rec/journals/cacm/TeitelbaumR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
@inproceedings{wadler1989,
author = {Philip Wadler and Stephen Blott},
title = {How to Make ad-hoc Polymorphism Less ad-hoc},
booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles of
Programming Languages, Austin, Texas, USA, January 11-13, 1989},
pages = {60--76},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/75277.75283},
doi = {10.1145/75277.75283},
timestamp = {Wed, 14 Nov 2018 10:52:34 +0100},
biburl = {https://dblp.org/rec/conf/popl/WadlerB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}