FLOPS 2024贡献者-FLOPS 2020

过滤器

角色类型

贡献给

角色数量

国家

结果(55)

A类苏普恩·阿贝辛格阿贝辛格，苏邦普渡大学美国【系统描述】Rhyme：一种基于函数逻辑元编程的以数据为中心的多参数查询语言
桑德拉·阿尔维斯桑德拉·阿尔维斯波尔图大学葡萄牙 FLOPS轨道内项目委员会的委员会成员
伦纳特·奥古斯森伦纳特·奥古斯森史诗游戏代数会议主席（FLOPS的一部分） Verse：一种新的函数逻辑语言
C类马泰奥·西米尼Cimini，马泰奥马萨诸塞大学洛厄尔分校美国改写会议主席（FLOPS的一部分）带子类型的函数语言的语言参数化证明 FLOPS轨道内项目委员会的委员会成员
Youyou丛聪，又有东京理工大学日本应用程序会议主席（FLOPS的一部分）从三个角度继续
D类 Stefan Dollase公司Stefan Dollase先生亚琛RWTH，计算机科学2研究小组德国概率项重写Almost-Sure内终止的完全依赖对框架
F类弗朗索瓦·法赫斯弗朗索瓦·法赫斯 Inria Saclay-法兰西岛法国项目分析会议主席（FLOPS的一部分） [系统描述文件]带有答案约束语义的Prolog中基于约束的数学建模库
玛丽贝尔·费尔南德斯玛丽贝尔·费尔南德斯伦敦国王学院大不列颠联合王国 FLOPS轨道内项目委员会的委员会成员
卡斯滕·福斯卡斯滕·福斯伦敦大学伯克贝克分校大不列颠联合王国 FLOPS轨道内项目委员会的委员会成员
G公司塞斯·加拉索塞斯·加拉索马萨诸塞大学洛厄尔分校美国带子类型的函数语言的语言参数化证明
杰里米·吉本斯杰里米·吉本斯牛津大学计算机科学系大不列颠联合王国 FLOPS 2024项目主席中的PC主席特邀演讲会议主席（FLOPS的一部分） FLOPS轨道内项目委员会联合主席
吉尔根·吉斯尔吉尔根·吉斯尔 RWTH亚琛大学德国概率项重写Almost-Sure内终止的完全依赖对框架
罗伯特·格莱克罗伯特·格莱克哥本哈根大学丹麦 FLOPS轨道内项目委员会的委员会成员
马克西姆·纪尧姆马克西姆·纪尧姆 Yseop/INRIA公司法国系统描述：ACGtk:开发和运行抽象类别语法的工具包
H（H） Makoto Hamana公司马科托·哈马纳日本九州理工学院日本改进的学期评价系统：一级、二级和上下文改进
迈克尔·哈纳斯迈克尔·哈纳斯基尔大学德国元编程会议主席（FLOPS的一部分）为声明程序推断非失败条件
细野直彦北彦浩弘崇城大学日本 FLOPS 2024组委会组织主席受邀演讲的会议主席（FLOPS的一部分）
我 Atsushi Igarashi先生Atsushi Igarashi 京都大学日本多级编程中跨级类型抽象的ML型模块系统
井上胜美井上，胜美 NII公司日本逻辑程序设计与机器学习的代数联系
J型帕特里夏·约翰帕特里夏·约翰阿巴拉契亚州立大学 FLOPS轨道内项目委员会的委员会成员
K（K）谷山由纪夫Yukiyoshi县Kameyama 筑波大学日本 FLOPS轨道内项目委员会的委员会成员
简·克里斯托夫·卡斯辛詹·克里斯托普·卡斯因亚琛工业大学德国概率项重写Almost-Sure内终止的完全依赖对框架
Shin-ya胜本胜本，Shin-ya 京都大学日本 FLOPS 2024组织委员会总主席受邀演讲的会议主席（FLOPS的一部分）
奥列格·基塞利约夫奥列格·基塞利约夫东北大学日本受邀演讲的会议主席（FLOPS的一部分） MetaOCaml：十年后（系统描述）
叶卡捷琳娜·科门丹茨卡娅叶卡捷琳娜·科门丹茨卡亚赫里奥特·沃特大学和南安普顿大学大不列颠联合王国 FLOPS轨道内项目委员会的委员会成员
L（左）林俊杰林俊杰香港科技大学实用的函数式编程常量时间内存管理
达科塔·兰伯特达科他州兰伯特让·莫内大学法国系统描述：子区域系统的理论证明：语言工具包及其解释器
比约恩·勒尔曼比约恩·莱尔曼联邦财政部奥地利 Grants4公司：在奥地利公共管理中应用声明性方法推荐和推理商业赠款（系统描述）
尤利亚·利勒尤利亚·利勒内布拉斯加州大学答案集编程中重构的验证
Y.Annie刘刘，Y.安妮石溪大学美国 FLOPS轨道内项目委员会的委员会成员
M（M）阿尼尔·马达瓦佩迪阿尼尔·马达瓦佩迪英国剑桥大学大不列颠联合王国 FLOPS轨道内项目委员会的委员会成员
菲利普·马雷克菲利普·马雷克 BRZ公司奥地利拨款4公司：在奥地利公共管理中应用声明性方法推荐和推理商业拨款（系统描述）
阿尔特·米德尔多普阿尔特·米德尔多普 FLOPS轨道内项目委员会的委员会成员
戴尔·米勒戴尔·米勒 INRIA Saclay和LIX/巴黎理工学院法国 FLOPS 2024项目主席中的PC主席 FLOPS轨道内项目委员会联合主席
森喜昭惠赤马森田东京大学日本 FLOPS轨道内项目委员会的委员会成员
科科·穆罗亚科科·穆罗亚京都大学RIMS日本证明会议主席（FLOPS的一部分）具有改进的术语评估系统：一阶、二阶和上下文改进
N个戈帕兰·纳达图尔戈帕兰·纳达图尔明尼苏达大学美国 FLOPS轨道内项目委员会的委员会成员
哦卡洛斯·奥拉特卡洛斯·奥拉特 CNRS；LIPN；巴黎北索邦大学法国 FLOPS轨道内项目委员会的委员会成员
P（P）阿尔贝托·帕尔多阿尔贝托·帕尔多乌拉圭共和国大学乌拉圭拉链制表
莱昂内尔·帕罗莱昂内尔·帕罗香港科技大学中国香港特别行政区实用的函数式编程常量时间内存管理
西尔万·波戈达拉西尔万·波戈达拉 LORIA/INRIA洛林法国系统描述：ACGtk:开发和运行抽象类别语法的工具包
R（右）蒂亚克·隆普夫蒂亚克·隆普夫普渡大学美国【系统描述】Rhyme：一种基于函数逻辑元编程的以数据为中心的多参数查询语言
安德烈亚斯·罗斯伯格安德烈亚斯·罗斯伯格独立德国 FLOPS轨道内项目委员会的委员会成员
S公司若昂·萨拉瓦乔昂·萨拉瓦美荷大学HASLab/INESC TEC葡萄牙带拉链的表格 FLOPS轨道内项目委员会的委员会成员
亚历克西斯·索林亚历克西斯·索林 FLOPS轨道内项目委员会的委员会成员
汤姆·施里杰弗斯汤姆·施里杰弗斯 KU鲁汶比利时声明珍珠：索具合同
Suwa高市高桥苏瓦京都大学和国家信息学院日本多级编程中跨级类型抽象的ML型模块系统
T型保罗·塔劳保罗·塔劳北德克萨斯大学美国 DeepLLM：将对话线程转换为逻辑程序 FLOPS轨道内项目委员会的委员会成员
塔奇·特劳奇大雄县Terauchi 早稻田大学日本 FLOPS轨道内项目委员会的委员会成员
Alwen Tiu先生Tiu，Alwen先生 FLOPS轨道内项目委员会的委员会成员
文森特·图内尔文森特·图内尔 LORIA/INRIA南希法国系统描述：ACGtk:开发和运行抽象类别语法的工具包
马库斯·特里斯卡马库斯·特里斯卡联邦财政部奥地利拨款4公司：在奥地利公共管理中应用声明性方法推荐和推理商业拨款（系统描述）
津岛假名神奈省津岛日本国家信息学研究所日本 FLOPS轨道内项目委员会的委员会成员
V（V）亚历山大·范登布鲁克亚历山大·范登布鲁克渣打银行大不列颠联合王国声明珍珠：索具合同
马科斯·维埃拉马科斯·维埃拉乌拉圭共和国大学乌拉圭拉链制表