You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
<li><ahref="https://arxiv.org/abs/2106.00412">Curating Covid-19 data in Links</a>.
103
+
Vashti Galpin and James Cheney. IPAW 2021 demo paper.
104
+
</li>
105
+
<li>
106
+
<ahref="https://doi.org/10.2218/ijdc.v15i1.717">Cross-tier web programming for curated databases: a case study</a>. Simon Fowler, Simon Harding, Joanna Sharman, and James Cheney. Pre-proceedings, <ahref="https://www.dcc.ac.uk/events/idcc20">IDCC 2020</a>.
107
+
</li>
108
+
<li><ahref="https://arxiv.org/abs/2101.04102">Query Lifting: Language-integrated query for heterogeneous nested collections</a>.
109
+
Wilmer Ricciotti and James Cheney. ESOP 2021.
110
+
</li>
111
+
<li>
112
+
<ahref="https://arxiv.org/abs/2007.00605">Effects for
113
+
Efficiency: Asymptotic Speedup with First-Class
114
+
Control</a>. Daniel Hillerström, Sam Lindley, and
115
+
John Longley. <ahref="https://icfp20.sigplan.org/">ICFP
116
+
2020</a>.
117
+
</li>
118
+
<li>
119
+
<ahref="https://arxiv.org/abs/1910.10988">A
120
+
Polymorphic RPC Calculus</a>. Kwanghoon Choi, James
Updatable Views</a>. Rudi Horn, Simon Fowler and James
136
+
Cheney. Post-proceedings of IFL 2019.
91
137
<li>
92
-
<a>Language-integrated provenance by trace analysis</a>, Stefan Fehrenbach and James Cheney, to appear, <ahref="https://pldi19.sigplan.org/track/dbpl-2019-papers">DBPL 2019</a>.
138
+
<ahref="https://doi.org/10.1145/3385412.3386003">FreezeML: Complete and Easy Type Inference for First-Class Polymorphism</a>.
139
+
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, and Jonathan Coates.
<ahref="http://homepages.inf.ed.ac.uk/slindley/papers/ehgc.pdf">Effect handlers via generalised continuations</a>.
144
+
Daniel Hillerström, Sam Lindley, and Robert Atkey.
145
+
<ahref="https://www.cambridge.org/core/journals/journal-of-functional-programming">JFP special issue on effect handlers 2020</a>.
146
+
</li>
147
+
<li>
148
+
<ahref="https://arxiv.org/abs/1905.02051">Language-integrated provenance by trace analysis</a>, Stefan Fehrenbach and James Cheney. <ahref="https://pldi19.sigplan.org/home/dbpl-2019">DBPL 2019</a>.
149
+
</li>
150
+
<li>
151
+
<ahref="https://doi.org/10.1145/3315507.3330202">Mixing Set and Bag Semantics</a>.
<ahref="https://doi.org/10.1007/978-3-642-03793-1_3">The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed</a>.
<li>Compiling Links to WebAssembly. Aaron Song (2021).</li>
258
337
<li><ahref="papers/mscs/Master_Thesis_Thomas_Weber_1450761.pdf">Uselets: UIs using Actors as an Abstraction for Composable Communicating Components</a>. Thomas Weber (LMU/University of Augsburg/TU Munich, 2018).</li>
259
-
<li><ahref="http://homepages.inf.ed.ac.uk/s1467124/papers/thesis2016.pdf">Compilation of Effect Handlers and their Applications in Concurrency</a>.
260
-
Daniel Hillerström (2016). </li>
261
-
<li><ahref="http://project-archive.inf.ed.ac.uk/msc/20150206/msc_proj.pdf">Handlers for Algebraic Effects in Links</a>.
262
-
Daniel Hillerström (2015). </li>
338
+
<li><ahref="https://dhil.net/research/papers/thesis2016.pdf">Compilation of Effect Handlers and their Applications in Concurrency</a>.
339
+
Daniel Hillerström (2016). </li>
340
+
<li><ahref="https://dhil.net/research/papers/thesis2015.pdf">Handlers for Algebraic Effects in Links</a>.
341
+
Daniel Hillerström (2015). </li>
263
342
<li>
264
343
<ahref="papers/mscs/chifeng.pdf">
265
-
Functional reactive animation in SVG for the web via Links
266
-
</a>.
344
+
Functional reactive animation in SVG for the web via Links</a>.
267
345
Chi-Feng Chou (2011).
268
346
</li>
269
347
<li>
@@ -282,32 +360,76 @@ <h2>MSc Projects</h2>
282
360
<sectionclass="interns-section">
283
361
<h2>Interns</h2>
284
362
<ul>
285
-
<li>Jonathan Coates, June--July 2019.
286
-
Jonathan worked on the Links codebase. He implemented support for
287
-
first-class polymorphism, syntactic sugar for effects, and fixed
288
-
numerous bugs.</li>
289
-
<li>Tom Davey, June--July 2019.
290
-
Tom adapted TryLinks for use with Jupyter Notebook.</li>
291
-
<li>Arek Mikolajczak, June--August 2018.
292
-
Arek worked on TryLinks.
293
-
</li>
294
-
<li>Nicole Meng, June--July 2018.</li>
295
-
<li>Thomas Weber, May--October 2017. Thomas worked on <em>uselets</em>, a new abstraction for UI programming in Links, and made several contributions including a cleanup of the JavaScript runtime code, a redesign of this home page, and the Links logo. He also developed the <ahref="https://github.com/elordin/uselets">Uselets</a> library and examples.</li>
296
-
<li>Jake Browning, Summer 2017.
297
-
Jake implemented a reactive programming library for Links inspired by Elm.</li>
298
-
<li>Sára Decova, Summer 2017.
299
-
Sára implemented a collection of Links applications making use of
300
-
session types in the presence of distribution and failure.</li>
301
-
<li>Austėja Elvina Brasiūnaitė, Summer 2014.
302
-
Elvina helped us to develop session types in Links by building and testing lots of examples.</li>
303
-
<li>Dariusz Jędrzejczak, Summer 2014. Dariusz significantly speeded up JavaScript compilation in Links and
304
-
built and evaluated the performance of a number of games written in Links.</li>
305
-
<li>Gabriel Radanne, Summer 2012. Gabriel extended the Links to OCaml compiler developed by
363
+
<li>Yi Zhou, June–July 2021. Yi implemented several
364
+
benchmark programs for Links, extended the command-line
365
+
interface of Links, and tweaked the internal handling of
366
+
file paths.</li>
367
+
<li>Robin Jourde, May–July 2021. Robin extended Links
368
+
with effect aliases, first-class operation polymorphism, and
369
+
fresh operation label generation.</li>
370
+
<li>Dee Yeum, July–August 2021. Dee worked on headless
371
+
testing of client-side Links applications.</li>
372
+
<li>Samo Novak, June–August 2021. Samo implemented a
373
+
round-trip type pretty printer, whose outputs can be
374
+
successfully parsed by the Links parser.</li>
375
+
<li>Yueyang Tang, May–August 2020. Yueyang worked on
376
+
improvements to Links, including dramatically speeding up
377
+
serialization of large query expressions and supporting
378
+
function definitions by case analysis
379
+
</li>
380
+
<li>Jonathan Coates, June–July 2019. Jonathan worked on
381
+
the Links codebase. He implemented support for
382
+
first-class polymorphism, syntactic sugar for effects,
383
+
and fixed numerous bugs.
384
+
</li>
385
+
<li>Tom Davey, June–July 2019. Tom adapted TryLinks for
386
+
use with Jupyter Notebook.
387
+
</li>
388
+
<li>Arek Mikolajczak, June–August 2018. Arek worked on
389
+
TryLinks.
390
+
</li>
391
+
<li>Nicole Meng, June–July 2018. Nicole worked on
392
+
implementing the essence of React in Links using effect
393
+
handlers.
394
+
</li>
395
+
<li>Thomas Weber, May–October 2017. Thomas worked
396
+
on <em>uselets</em>, a new abstraction for UI
397
+
programming in Links, and made several contributions
398
+
including a cleanup of the JavaScript runtime code, a
399
+
redesign of this home page, and the Links logo. He also
400
+
developed
401
+
the <ahref="https://github.com/elordin/uselets">Uselets</a>
402
+
library and examples.
403
+
</li>
404
+
<li>Jake Browning, Summer 2017. Jake implemented a reactive
405
+
programming library for Links inspired by Elm.</li>
406
+
<li>Sára Decova, Summer 2017. Sára implemented a collection
407
+
of Links applications making use of session types in the
408
+
presence of distribution and failure.
409
+
</li>
410
+
<li>Victor Dumitrescu, Summer 2015. Victor worked on
0 commit comments