停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

函数编程杂志，第13卷

>主页 >期刊销售 >函数编程杂志

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第13卷第1期，2003年1月

特刊：函数编程杂志。哈斯克尔98

I哈斯克尔98语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03网站
西蒙·佩顿·琼斯:
Haskell 98：简介。 0-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03a
西蒙·佩顿·琼斯:
Haskell 98：词汇结构。 7-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03b
西蒙·佩顿·琼斯:
Haskell 98：表达式。 17-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03c
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03c
西蒙·佩顿·琼斯:
Haskell 98：声明和绑定。 39-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03d
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03d
西蒙·佩顿·琼斯:
Haskell 98：模块。 67-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03e
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03e
西蒙·佩顿·琼斯:
Haskell 98：预定义类型和类。 81-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03f
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03f
西蒙·佩顿·琼斯:
Haskell 98：基本输入/输出。 97-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03g
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03g
西蒙·佩顿·琼斯:
哈斯克尔98：标准前奏曲。 103-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03h
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03h网站
西蒙·L·佩顿·琼斯:
Haskell 98:语法参考。 125-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03i
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03i
西蒙·佩顿·琼斯:
Haskell 98：派生实例规范。 139-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03j
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03j
西蒙·佩顿·琼斯:
Haskell 98:编译器实用主义。 145-146

II Haskell 98图书馆

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03k
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03k
西蒙·佩顿·琼斯:
Haskell 98库：有理数。 149-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03l
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03l
西蒙·佩顿·琼斯:
Haskell 98库：复数。 153-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03m
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03m
西蒙·佩顿·琼斯:
Haskell 98库：数值函数。 157-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03n
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03n
西蒙·佩顿·琼斯:
Haskell 98库：索引操作。 169-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03o
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03o
西蒙·佩顿·琼斯:
Haskell 98库：数组。 173-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03p
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03p
西蒙·佩顿·琼斯:
Haskell 98库：列出实用程序。 179-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03q
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03q
西蒙·佩顿·琼斯:
Haskell 98图书馆：可能是实用程序。 191-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jfp/Jones03r
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03r
西蒙·佩顿·琼斯:
Haskell 98库：字符实用程序。 193-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03s
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03s
西蒙·佩顿·琼斯:
Haskell 98库：Monad实用程序。 199-204
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03t
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03t
西蒙·佩顿·琼斯:
Haskell 98库：输入/输出。 205-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03u
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03u
西蒙·佩顿·琼斯:
Haskell 98库：目录函数。 219-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03v
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03v
西蒙·佩顿·琼斯:
Haskell 98库：系统功能。 223-224
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03w
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03w
西蒙·L·佩顿·琼斯:
Haskell 98图书馆：日期和时间。 225-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03x
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03x网站
西蒙·佩顿·琼斯:
Haskell 98图书馆：地方。 231-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03y
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03y
西蒙·佩顿·琼斯:
Haskell 98库：CPU时间。 233-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03z
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03z
西蒙·佩顿·琼斯:
Haskell 98库：随机数。 235-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Jones03za
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Jones03za
西蒙·佩顿·琼斯:
哈斯克尔98图书馆：书目。 241-255

第13卷第2期，2003年3月

逻辑框架和元语言专题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Huet03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Huet03
杰拉德·P·休特:
“逻辑框架和元语言”专题。 257-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/BartheCP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/BartheCP03
吉尔斯·巴特,维南齐奥·卡普雷塔,奥利维尔·蓬斯:
类型理论中的类Setoids。 261-293
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/LevinP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/LivenP03
迈克尔·莱文,本杰明·皮尔斯:
修补程序类型：一种用于处理正式系统的语言。 295-316
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Lou03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Lou03网址
罗朝晖:
PAL键⁺：无lambda逻辑框架。 317-338
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Walukiewicz-Chrzaszcz03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Walukiewicz-Chrzaszcz03
Daria Walukiewicz-Chrzaszcz:
《构造演算》中重写的终止。 339-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/RocklH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/RocklH03
克里斯汀·罗克尔,丹尼尔·赫希科夫:
Isabelle/HOL中[pi]-演算的充分浅嵌入，具有机械化的语法分析。 415-451

第13卷第3期，2003年5月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Taha03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Taha03网站
瓦利德·塔哈:
程序生成的语义、应用和实现。 453-454
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/ElliottFM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/ElliottFM03
科纳尔·埃利奥特,西格伯恩·芬恩,Oege de Moor公司:
编译嵌入式语言。 455-481
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/FischerS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/FischerS03
伯恩德·菲舍尔,约翰·舒曼:
AutoBayes：从统计模型生成数据分析程序的系统。 483-508
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/FischbachH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/FischbachH03
亚当·菲施巴赫,约翰·汉南:
λ提升的规格和正确性。 509-543
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jfp/CalcagniMS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/CalcagnoMS03
克里斯蒂亚诺·卡尔卡尼奥,尤金尼奥·莫吉,蒂姆·谢尔德:
安全命令式MetaML的封闭类型。 545-571
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Tiemann03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Tiemann03
彼得·蒂曼:
用于执行监视的程序专门化。 573-600
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Ramsey03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Ramsey03网站
诺曼·拉姆齐:
可重用程序生成器的实用方面。 601-646
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/MonierS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/MonierS03
斯特凡·莫尼尔,钟绍:
内联为分段计算。 647-676
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/SmithGMHJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/SmithGMHJ03
弗雷德里克·史密斯,丹·格罗斯曼,J.格雷戈里·莫里塞特,卢克·霍诺夫,特雷弗·吉姆:
编译以生成基于模板的运行时代码。 677-708

第13卷第4期，2003年7月

文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Filliatre03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Filliatre03网站
Jean-Christophe Filliátre女士:
使用类型理论中的解释验证非功能程序。 709-745
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/OHearn03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/OHearn03
彼得·W·奥赫恩:
打捆时。 747-796
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Johann03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Johann03
帕特里夏·约翰:
捷径熔合是正确的。 797-814

理论珍珠

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Okasaki03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Okasaki03网址
克里斯·冈崎:
理论珍珠。 815-822

书评

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Angus03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Angus03网址
克里斯·安格斯:
格雷格·迈克尔森（Greg Michaelson）、菲尔·特林德（Phil Trinder）和汉斯·沃夫冈·洛伊德（Hans-Wolfgang Loidl）（编辑第1卷）和斯蒂芬·吉尔摩（Stephen Gilmore）（编辑第一卷和第二卷）合著的《函数式编程的趋势》（Trends in Functional Programming）（第1卷和第2卷）。Intellect Books，布里斯托尔，2001年，2002年。 823-824
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Hains03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Hains03网址
盖坦·海恩斯:
R.S.Nikhil和Arvind，Morgan Kaufmann，2001年，《pH中的隐式并行编程》。 824-826
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Karczmarczuk03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Karczmarczuk03
Jerzy Karczmarczuk公司:
杰拉尔德·杰伊·萨斯曼（Gerald Jay Sussman）和杰克·怀斯多姆（Jack Wisdom）与梅恩哈德·梅耶（Meinhard E.Mayer）合著的《经典力学的结构与解释》，麻省理工学院出版社；2001年，ISBN 0262194554。 826-828
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Russell03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Russell03网址
丹·拉塞尔:
《算法：函数编程方法》，Fethi Rabi和Guy Lapalme著，Addison-Wesley，1999年，ISBN 0-201-59604-0，xi+235pp。 828-829
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Taha03a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Taha03a网站
瓦利德·塔哈:
丹尼尔·弗里德曼（Daniel P.Friedman）、米切尔·旺德（Mitchell Wand）和克里斯托弗·海恩斯（Christopher T.Haynes）合著的《编程语言精要》（第二版），麻省理工学院出版社，ISBN 0-262-06217-8，2001年。 829-831年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Keller03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Keller03
布林·凯勒:
《脚本语言的世界》，作者：David W.Barron，John Wiley&Sons，2000，ISBN 0-471-99886-9。 831-832

第13卷第5期，2003年9月

第条

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/JonesW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/JonesW03
西蒙·佩顿·琼斯,菲利普·沃德勒:
教育珍珠专栏。 833-834

教育明珠

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Felleison03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Felleison03网址
马提亚斯·费莱森:
欢迎来到教育珍珠专栏。 835-838年

文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/GallesioS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/GallesioS03
埃里克·加莱西奥,曼纽尔·塞拉诺:
使用Scheme编程图形用户界面。 839-866
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/DamanD03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/DamanD03
丹尼尔·达米安,奥利维尔·丹维:
程序分析中的句法意外：对CPS转换的影响。 867-904
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/PalsbergW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/PalsbergW03
延斯·帕尔斯伯格,米切尔·旺德:
流信息的CPS转换。 905-923
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/DamanD03a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/DamanD03a
丹尼尔·达米安,奥利维尔·丹维:
CPS流量信息转换，第二部分：行政削减。 925-933

功能珍珠

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Hinze03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Hinze03
拉尔夫·欣泽:
格式化：一种集体行为。 935-944
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/FilliatreP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/FilliatreP03
Jean-Christophe Filliátre女士,弗朗索瓦·波蒂埃:
在功能上产生森林的所有理想。 945-956

勘误表

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/MorrisettCGW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/MorrisettCGW03
J.格雷戈里·莫里塞特,卡尔·克莱里,尼尔·格鲁,大卫·沃克:
基于堆栈的类型化汇编语言。 957-959

第13卷第6期，2003年11月

文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/HosoyaP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/HosoyaP03
细谷豪夫,本杰明·皮尔斯:
XML的正则表达式模式匹配。 961-1004
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Scholz03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Scholz03
斯文·博多·舒尔茨:
单任务C：在功能设置中有效支持高级数组操作。 1005-1059
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/McBride03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/McBride03网站
康诺·麦克布莱德:
通过结构递归实现一阶统一。 1061-1075

教育明珠

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Luth03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Leth03
克里斯托夫·吕斯:
哈斯克尔在太空。 1077-1085

书评

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Boiten03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Boiten03
埃尔克·博伊滕:
约翰·米切尔（John C.Mitchell）著《程序设计语言的概念》，剑桥大学出版社，2002年，ISBN 0-521-78098-5。 1087-1088

服务

管理网站设置

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