关于链接
出版物
时态数据的语言集成查询 西蒙·福勒、瓦什蒂·加尔平和詹姆斯·切尼。 GPCE 2022。 多态RPC演算的类型化切片编译 . Kwanghoon Choi、James Cheney、Sam Lindley和Bob Reynders。 PPDP 2021。 理解空值 詹姆斯·切尼和威尔默·里奇奥蒂。 DBPL 2021 . 在链接中管理Covid-19数据 . 瓦什蒂·加尔宾和詹姆斯·切尼。 IPAW 2021演示文件。 -
针对精选数据库的跨层web编程:一个案例研究 西蒙·福勒、西蒙·哈丁、乔安娜·沙曼和詹姆斯·切尼。 前期制作, IDCC 2020年 . 查询提升:异构嵌套集合的语言集成查询 . 威尔默·里奇奥蒂和詹姆斯·切尼。 2021年员工持股计划。 -
对的影响 效率:一级渐进加速 控制 Daniel Hillerström、Sam Lindley和 约翰·朗利。 ICFP公司 2020 . -
A类 多态RPC微积分 .Chuanghoon Choi,James 切尼、西蒙·福勒和萨姆·林德利。 科学 计算机编程197:1024992020年10月。 2019年SBMF上发布了初步版本。 -
强有力的 规范化高阶关系查询 .威尔默 里奇奥蒂和詹姆斯·切尼。 FSCD 2020 . -
模型视图-更新-通信:会话类型符合Elm体系结构 . 西蒙·福勒。 ECOOP 2020年 . -
语言集成 可更新视图 鲁迪·霍恩、西蒙·福勒和詹姆斯 切尼。 2019年国际单项体育联合会会议后。 -
FreezeML:一类多态的完备且简单的类型推断 . 弗兰克·埃里奇(Frank Emrich)、山姆·林德利(Sam Lindley)、简·斯托拉雷克(Jan Stolarek)、詹姆斯·切尼(James Cheney)和乔纳森·科茨(Jonathan Coates)。 2020年PLDI . -
通过通用延续的效果处理程序 . Daniel Hillerström、Sam Lindley和Robert Atkey。 2020年JFP特刊 . -
通过跟踪分析的语言整合来源 斯特凡·费伦巴赫(Stefan Fehrenbach)和詹姆斯·切尼(James Cheney)。 2019年DBPL . -
混合集合和包语义 . 威尔默·里奇奥蒂和詹姆斯·切尼。 2019年DBPL . -
异常异步会话类型:没有层的会话类型 . 西蒙·福勒、萨姆·林德利、J.加勒特·莫里斯和萨拉·德科娃。 2019年POPL . -
浅效处理程序 . Daniel Hillerström和Sam Lindley。 2018年APLAS . -
增量关系透镜 . 鲁迪·霍恩、罗利·佩雷拉和詹姆斯·切尼。 2018年ICFP . -
语言集成源 . 斯特凡·费伦巴赫和詹姆斯·切尼。 《计算机编程科学》155:103-145(2018)。 -
效果处理者的连续传球风格 . Daniel Hillerström、Sam Lindley、Robert Atkey和KC Sivaramakrishnan。 FSCD 2017 . -
轻量级功能会话类型 . Sam Lindley和J.Garrett Morris 行为类型:从理论到工具 ,河流 出版商,2017年。 -
语言集成源 . 斯特凡·费伦巴赫和詹姆斯·切尼。 2016年PPDP . -
编译指向OCaml后端的链接效果处理程序 . Daniel Hillerström、Sam Lindley和KC Sivaramakrishnan。 2016年ML研讨会 . -
行和处理程序的解放效果 . Daniel Hillerström和Sam Lindley。 在 泰德2016 . -
有效报价 . 詹姆斯·切尼、萨姆·林德利、加布里埃尔·拉丹和菲利普·沃德勒。 在 2014年政治公众人物会议 . -
查询分解:嵌套多集上查询的高效关系计算 . 詹姆斯·切尼、萨姆·林德利和菲利普·沃德勒。 在 2014年SIGMOD . -
用于数据库集成的基于行的效果类型 . 萨姆·林德利和詹姆斯·切尼。 在 2012年TLDI . -
DBWiki:链接中的数据库wiki原型 . 詹姆斯·切尼、山姆·林德利和海科·米勒。 在 2011年DBPL . -
脚本编写者的梦想:如何用自己的语言编写出色的SQL,并确保其成功 . 埃兹拉·库珀。 在 DBPL 2009年 -
RPC演算 . 菲利普·沃德勒(Philip Wadler),埃兹拉·库珀(Ezra Cooper)。 在 2009年PPDP -
形式抽象的本质 . 埃兹拉·库珀(Ezra Cooper)、萨姆·林德利(Sam Lindley)、菲利普·沃德勒(Philip Wadler)和杰里米·亚洛普(Jeremy Yallop)。 在 2008年应用程序 . -
链接:没有层的web编程 . 埃兹拉·库珀(Ezra Cooper)、萨姆·林德利(Sam Lindley)、菲利普·沃德勒(Philip Wadler)和杰里米·亚洛普(Jeremy Yallop)。 在 FMCO 2006 ,LNCS 4709。
赠款
紧急停止 ,UKRI未来领导人奖学金,授予编号MR/T043830/1。 Skye公司 ,ERC合并者拨款(2016-2021)。 并发和分发的基础 EPSRC项目拨款(2013-2020年)。 谷歌研究奖 数据库Wiki (2011), 同步数据库Wiki (2012年),以及 语言集成起源 (2014-15). 原始拨款提案 EPSRC(2005)。 LShift的支持函 . Run Deep的支持函 .
核心团队
校友
访客
本科生项目
在Links中使用效果处理程序开发并发web应用程序 . 史蒂文·张(2023)。 用于链接的视频呼叫API . Weston Everett(2023)。 Links中的多视图视频会议系统 . Caitlin McDougall(2023年)。 缩放动态视频通话应用程序 . Lewis Raeburn(2023年)。 无分层快速规则匹配 . 罗伯塔斯·诺库斯(2023)。 Links中的动态视频会议应用程序 . Weston Everett(2022)。 链接中动态视频呼叫的空间隐喻 . Lewis Raeburn(2022年)。 TryLinks:学习Links编程语言的交互式在线平台 . Nick Wu(2018)。 构建山猫-链接中的web内容管理系统。 Simon Vansintjan(2010年)。 网络威胁:经典学习机器的链接演示 . 塞缪尔·科贝特(2009)。 编译Links服务器端代码 . 史蒂文·霍姆斯(2009)。 LODE:链接中链接的在线IDE . 卡尔·安德森(2008)。 链接中的在线拼字游戏。 阿什文·贾亚拉姆(2008)。 在链接中构建web 2.0应用程序:web应用程序的速度相关自动缩放。 Sjoerd van Roosmalen(2008)。 创建链接Collab:对Links作为web开发语言的评估 . Steve Strugnell(2008)。
项目理学硕士
正在编译指向WebAssembly的链接。 Aaron Song(2021)。 Uselets:UI使用Actor作为可组合通信组件的抽象 托马斯·韦伯(LMU/奥格斯堡大学/慕尼黑工业大学,2018)。 效果处理程序的编译及其在并发中的应用 . Daniel Hillerström(2016)。 链接中代数效应的处理程序 . Daniel Hillerström(2015)。 -
通过链接在SVG中为web提供功能性反应动画 . Chi-Feng Chou(2011)。 -
在链接中实现Java宠物商店: 链接作为构建web应用程序的有效平台的评估 . Gabriel Tellez(2008)。 使用Links构建生物数据库应用程序。 Ravi Shankar Dangeti(2008)。 SLinks语言 . Gilles Dubochet(2005)。
实习生
宜州,2022年6月-7月。 Yi实施了几个 链接的基准程序,扩展了命令行 链接的界面,并调整了 文件路径。 Robin Jourde,2022年5月至7月。 Robin扩展链接 具有效果别名、一级操作多态性,以及 新操作标签生成。 Dee Yeum,2021年7月至8月。 Dee在无头上工作 测试客户端Links应用程序。 萨莫·诺瓦克,2021年6月至8月。 Samo实现了 往返式漂亮打印机,其输出可以是 链接分析器已成功分析。 唐岳阳,2020年5月至8月。 岳阳工作 对Links的改进,包括大幅加速 大型查询表达式的序列化及其支持 通过案例分析定义函数 乔纳森·科茨(Jonathan Coates),2019年6月至7月。 Jonathan工作 链接代码库。 他支持 一级多态性、句法糖效应, 并修复了大量错误。 汤姆·戴维,2019年6月至7月。 Tom将TryLinks改编为 与Jupyter笔记本一起使用。 Arek Mikolajczak,2018年6月至8月。 Arek在工作 TryLinks(尝试链接)。 Nicole Meng,2018年6月至7月。 Nicole继续工作 利用效果实现链接中反应的本质 处理程序。 托马斯·韦伯,2017年5月至10月。 托马斯工作过 在 小工具 ,一种新的UI抽象 在Links中编程,并做出了一些贡献 包括JavaScript运行时代码的清理 重新设计此主页和Links徽标。 他还 已开发 这个 小册子 库和示例。 Jake Browning,2017年夏季。 Jake实施了一个反应 受Elm启发的Links编程库。 萨拉·德科瓦,2017年夏季。 Sára实施了一项收集 中使用会话类型的链接应用程序 分布和故障的存在。 Victor Dumitrescu,2015年夏季。 维克多继续工作 链接中会话类型的应用程序。 2014年夏季,奥斯特贾·埃尔维娜·布拉西奈特。 埃尔维娜帮忙了 我们通过构建和 测试了大量示例。 Dariusz Jędrzejczak,2014年夏季。 Dariusz显著 加快了Links和build中的JavaScript编译 评估编写的一些游戏的性能 在链接中。 Gabriel Radanne,2012年夏季。 加布里埃尔延伸了链接 到OCaml编译器 史蒂文·福尔摩斯 到 手柄 数据库 查询 . 蒂埃里 马丁内斯 2006年3月至8月。 蒂埃里用 在链接中静态键入XML的方法。