默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

5.FLOPS 2001：日本东京

>主页 >会议和研讨会 >FLOPS（浮动）

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

阿尔特·米德尔多普,

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/2001文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/2001
赫伯特·库欣,Kazunori Ueda公司:
功能和逻辑编程，第五届国际研讨会，FLOPS 2001，日本东京，2001年3月7日至9日，会议记录。计算机科学课堂讲稿2024,施普林格 2001，国际标准图书编号3-540-41739-7

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Natathur01型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Natathur01
戈帕兰·纳达图尔:
元语言lambda-Prolog及其实现。 1-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Necula01型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Necula01
乔治·C·内库拉:
防携带代码的可扩展架构。 21-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Sato01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Sato01
佐藤大辅:
计算与学习相结合的参数化逻辑程序。 40-60

函数式编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/PolakovY01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/PolakovY01
杰夫·波拉科,Kwangkeun Yi公司:
在有序逻辑框架中证明异常的句法性质。 61-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/DanvyN01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/DanvyN01
奥利维尔·丹维,拉塞·尼尔森:
高阶冒号翻译。 78-91
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/ChoiLH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/ChoiLH01
Choi光勋,林贤义,Taisook Han先生:
为Java虚拟机编译基于无轴无标记G-Machine的惰性函数程序。 92-107

逻辑程序设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/LeachN01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/LeachN01
哈维尔·利奇,苏珊娜·尼娃:
一种带约束的高阶逻辑程序设计语言。 108-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Delzanno01文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Delzanno01
乔治·德尔扎诺:
通过遗传Harrop公式和\lambda Prolog指定和调试安全协议-案例研究。 123-137
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/BozzanoDM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/BozzanoDM01
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
一阶线性逻辑程序的有效自底向上语义。 138-152

功能逻辑编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Almendros-JimenezB01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Almendros-JimenezB01
杰苏斯·曼努埃尔·阿曼德罗斯-吉梅内斯,安东尼奥·贝塞拉·特隆:
面向目标的函数逻辑程序自底向上评估框架。 153-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/CaballeroLR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/CaballeroLR01
拉斐尔·卡巴列罗,弗朗西斯科·哈维尔·洛佩斯·弗拉瓜斯,马里奥·罗德里格斯-阿塔莱霍:
懒惰函数逻辑程序声明性调试的理论基础。 170-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Lux01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Lux01
沃尔夫冈·卢克斯:
在Curry中添加实数的线性约束。 185-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/铃木M01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/铃木M01
铃木麻生太郎,阿尔特·米德尔多普:
惰性条件缩小的完整选择函数。 201-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Hortala-GonzalezU01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Hortala-GonzalezU01
玛丽亚·特蕾莎·霍塔拉-冈萨雷斯,伊娃·乌兰:
基于抽象机器的惰性窄微积分系统。 216-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Ferri-RamirezHR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Ferri-RamirezHR01
塞萨尔·费里,何塞·埃尔南德斯·奥拉洛,M.JoséRamírez-Quintana:
函数逻辑程序的增量学习。 233-247

类型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Sulzmann01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Sulzmann01
马丁·苏尔兹曼:
Hindley/Millner风格系统的通用类型推理框架。 248-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/Kagawa01型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/Kagawa01
Koji Kagawa公司:
区域堆栈的单数封装。 264-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/DrensartS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/DeransartS01
皮埃尔·德兰萨特,Jan-Georg Smaus公司:
类型良好的逻辑程序没有错。 280-295

程序分析和转换

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/LagoonS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/LagoonS01
维塔利湖,彼得·斯塔基:
类型化逻辑程序分析框架。 296-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/AmatoS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/AmatoS01
吉安卢卡·阿马托,福斯托·斯波托:
用于共享分析的摘要编译。 311-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/AbertHV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/AlbertHV01
埃尔维拉·阿尔伯特,迈克尔·哈纳斯,格尔曼·维达尔:
多参数声明语言的实用部分求值器。 326-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/DanvyR01配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/DanvyR01
奥利维尔·丹维,莫滕·瑞格:
Haskell-like语言中类型化抽象语法的简单呈现。 343-358

λ-微积分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/SatoSK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/SatoSK01
佐藤正彦,樱井隆夫（Takafumi Sakurai）,谷山由纪夫:
具有一级环境的简单类型上下文演算。 359-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/KamareddineLN01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/KamareddineLN01
Fairouz Kamaredine公司,特万·拉恩,罗伯·内德佩尔特:
使用参数优化Barendregt立方体。 375-390

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。