首页>外文期刊>计算机、自动化>计算技术、计算机技术>Journal of Functional Programming

Journal of Functional Programming

Journal of Functional Programming

SCI

中文名称：函数编程杂志

ISSN：0956-7968
出版周期：Bimonthly

发文量：410

期刊论文

年度选择

2020
- 第1期
2019
- 第2019期
2018
- 第2018期
2017
- 第2017期
2014
- 第1期
- 第3期
- 第4期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2012
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2011
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第4期
- 第6期
2009
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
- 第suppla期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
- 第pt1期
2007
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
- 第pt1期
- 第pt3期
2006
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
- 第pt1期
- 第pt2期
- 第pt3期
- 第pt6期
2005
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第pt1期
- 第pt2期
- 第pt4期
- 第pt5期
- 第pt6期
2004
- 第1期
- 第3期
- 第4期
- 第5期
- 第6期
- 第pt4期
- 第pt5期
2003
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第11期
2002
- 第11期
2001
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
2000
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第2000期
1999
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第1999期

更多>>

全选（0）

1.FUNCTIONAL PEARL Proof directed debugging

机译：功能性珍珠证明定向调试
- 作者：ROBERT HARPER
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
2.Compiling lazy functional programs for the Java Vrtual Machine

机译：为Java虚拟机编译惰性函数程序
- 作者：DMID WAKELING
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
3.FUNCTIONAL PEA R L Explaining binomial heaps

机译：功能豌豆解释二项式堆
- 作者：RALF HINZE
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
4.de Bruijn notation as a nested datatype

机译：de Bruijn表示法为嵌套数据类型
- 作者：RICHARD S. BIRD
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
5.Compilation and equivalence Of imperative objects

机译：祈使对象的编译和等价
- 作者：ANDREW D. GORDON;PAUL D. HANKIN
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
6.Combinators for program generation

机译：用于程序生成的组合器
- 作者：PETER THIEMANN
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
7.USing randomization to make recursive matrix algorithms practical

机译：使用随机化使递归矩阵算法实用
- 作者：INH LE;D. STOTT PARKER
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
8.Type-checking injective pure type systems

机译：类型检查内射纯类型系统
- 作者：GILLES BARTHE
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
9.The semantics Of future and an appplication

机译：未来的语义及其应用
- 作者：C. FLANAGAN;M. FELLEISEN
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
10.Parallel functional programming on recursively defined data via data-parallel recursion

机译：通过数据并行递归对递归定义的数据进行并行功能编程
- 作者：SUSUMU NISHIMURA;ATSUSHI OHORI
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
11.ParalIelization Of divide-and-conquer by translation to nested loops

机译：通过转换为嵌套循环来实现分治的并行化
- 作者：CHRISTOPH A. HERRMANN;CHRISTIAN LENGAUER
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
12.ParalIelizing functional programs by generalization

机译：通过泛化并行化功能程序
- 作者：ALFONS GESER;SERGEI GORLATCH
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
13.Implementing theorem provers in a purely functional style

机译：以纯函数式实现定理证明
- 作者：KEITH HANNA
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
14.HOLCF = HOL + LCF

机译：HOLCF = HOL + LCF
- 作者：OLAF MULLER;TOBIAS NIPKOW;DAVID VON OHEIMB;OSCAR SLOTOSCH
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
15.Applications Of Plotkin-terms :partitions and morphisms for closed terms'

机译：Plotkin项的应用：封闭项的划分和态射
- 作者：RICHARD STATMAN;HENK BARENDREGT
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
16.A tutorial on the universality and expressiveness of fold

机译：折叠的通用性和表达性教程
- 作者：GRAHAM HUTTON
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
17.A pointless derivation Of radix sort

机译：基数排序的无意义推导
- 作者：JEREMY GIBBONS
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
18.A confluent λ/-calculus with a catch/throw mechanism

机译：具有捕捉/抛出机制的融合λ/演算
- 作者：TRISTAN CROLARD
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
19.FUNCTIONAL PEARL Power series, power serious

机译：功能珍珠动力系列，动力十足
- 作者：M. DOUGLAS MCILROY
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
20.FUNCTIONAL PEARL A poor man's concurrency monad

机译：功能珍珠穷人的并发单子
- 作者：KOEN CLAESSEN
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
21.Functional design and implementation of graphical user interfaces for theorem provers

机译：定理证明者的图形用户界面的功能设计和实现
- 作者：C. LUTH
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
22.Automatic verification of functions with accumulating parameters

机译：使用累积参数自动验证功能
- 作者：ANDREW IRELAND;ALAN BUNDY
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
23.Transparent optimisation of rewriting combinators

机译：重写组合器的透明优化
- 作者：RICHARD J. BOULTON
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
24.Semantics Of linear/modal lambda calulus

机译：线性/模态λ演算的语义
- 作者：MARTIN HOFMANNA
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
25.Higher-order functional languages and intensional logic

机译：高阶功能语言和内涵逻辑
- 作者：P RONDOGIANNIS
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
26.Higher-order narrowing with definitional trees

机译：使用定义树进行高阶缩小
- 作者：MICHAEL HANUS
- 期刊名称：《Journal of Functional Programming》 | 1999年第1999期
27.Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong)

机译：静态类型错误的动态见证（或者，错误类型的程序通常会出错）
- 作者：Seidel Eric L.;Jhala Ranjit;Weimer Westley
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
28.A programming model and foundation for lineage-based distributed computation

机译：基于谱系的分布式计算的编程模型和基础
- 作者：Haller Philipp;Miller Heather;Mueller Normen
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
29.Size-based termination of higher-order rewriting

机译：基于大小的终止高阶重写
- 作者：Blanqui Frederic
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
30.The adequacy of Launchbury's natural semantics for lazy evaluation

机译：Launchbury的自然语义足以进行惰性评估
- 作者：Breitner Joachim
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
31.Special Issue on Programming Languages for Big Data Editorial

机译：大数据编辑语言专刊
- 作者：Cheney James;Grust Torsten
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
32.Foundations of dependent interoperability

机译：依赖互操作性的基础
- 作者：Dagand Pierre-Evariste;Tabareau Nicolas;Tanter Eric
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
33.A tutorial on computational classical logic and the sequent calculus

机译：关于计算经典逻辑和后续演算的教程
- 作者：Downen Paul;Ariola Zena M.
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
34.Editorial for the Special Issue on Parallel and Concurrent Functional Programming

机译：并行和并行功能编程特刊社论
- 作者：Keller Gabriele;Henglein Fritz
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
35.An extended account of contract monitoring strategies as patterns of communication*

机译：合同监控策略作为沟通方式的扩展说明*
- 作者：Swords Cameron;Sabry Amr;Tobin-Hochstadt Sam
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
36.Infusing an HtDP-based CS1 with distributed programming using functional video games

机译：使用功能性视频游戏将基于HtDP的CS1与分布式编程相结合
- 作者：Morazan Marco T.
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
37.Systematic identification and communication of type errors*

机译：系统识别和传达类型错误*
- 作者：Chen Sheng;Erwig Martin
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
38.Push versus pull-based loop fusion in query engines

机译：查询引擎中基于推与拉的循环融合
- 作者：Shaikhha Amir;Dashti Mohammad;Koch Christoph
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
39.Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory

机译：与证明相关的统一：从属模式仅与类型理论的公理匹配
- 作者：Cockx Jesper;Devriese Dominique
- 期刊名称：《Journal of Functional Programming》 | 2018年第2018期
40.Correctness of compiling polymorphism to dynamic typing

机译：将多态性编译为动态类型的正确性
- 作者：Hou (Favonia) Kuen-Bang;Benton Nick;Harper Robert
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
41.Programming with ornaments

机译：用装饰品编程
- 作者：Ko Hsiang-Shang;Gibbons Jeremy
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
42.Higher order symbolic execution for contract verification and refutation

机译：用于合同验证和驳回的高阶符号执行
- 作者：Nguyen Phuc C.;Tobin-Hochstadt Sam;Van Horn David
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
43.Call-by-name extensionality and confluence

机译：按名称呼叫的扩展性和融合
- 作者：Johnson-Freyd Philip;Downen Paul;Ariola Zena M.
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
44.A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading

机译：面向CIC的新统一体的综合指南，包括宇宙多态性和重载
- 作者：Ziliani Beta;Sozeau Matthieu
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
45.Normal-order reduction grammars

机译：正序归约语法
- 作者：Bendkowski Maciej
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
46.Flexible dynamic information flow control in the presence of exceptions

机译：出现异常时的灵活动态信息流控制
- 作者：Stefan Deian;Mazieres David;Mitchell John C.;Russo Alejandro
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
47.Finiteness and rational sequences, constructively

机译：有限和有理数列，建设性地
- 作者：Uustalu Tarmo;Veltri Niccolo
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
48.Interactive programming in Agda - Objects and graphical user interfaces

机译：Agda中的交互式编程-对象和图形用户界面
- 作者：Abel Andreas;Adelsberger Stephan;Setzer Anton
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
49.The essence of ornaments

机译：饰品的精髓
- 作者：Dagand Pierre-Evariste
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
50.A simple library implementation of binary sessions

机译：二进制会话的简单库实现
- 作者：Padovani Luca
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
51.The calculus of dependent lambda eliminations

机译：相依Lambda消除的演算
- 作者：Stump Aaron
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
52.Modular, higher order cardinality analysis in theory and practice

机译：模块化，高阶基数分析的理论和实践
- 作者：Sergey Ilya;Vytiniotis Dimitrios;Jones Simon L. Peyton;Breitner Joachim
- 期刊名称：《Journal of Functional Programming》 | 2017年第2017期
53.Special Issue on Run-Time Systems and Target Platforms for Functional Languages Editorial

机译：功能语言的运行时系统和目标平台特刊
- 作者：Michael Sperber;Lennart Augustsson
- 期刊名称：《Journal of Functional Programming》 | 2014年第6期
54.A run-time representation of scheme record types

机译：方案记录类型的运行时表示
- 作者：ANDREW W.KEEP;R.KENT DYBVIG
- 期刊名称：《Journal of Functional Programming》 | 2014年第6期
55.Editorial

机译：社论
- 作者：MATTHIAS FELLEISEN
- 期刊名称：《Journal of Functional Programming》 | 2014年第6期
56.MultiMLton: A multicore-aware runtime for standard ML

机译：MultiMLton：支持标准ML的多核运行时
- 作者：K.C.SIVARAMAKRISHNAN;LUKASZ ZIAREK;SURESH JAGANNATHAN
- 期刊名称：《Journal of Functional Programming》 | 2014年第6期
57.Systematic Program Design: From Clarity to Efficiency

机译：系统化程序设计：从清晰到高效
- 作者：MICHAEL SPERBER
- 期刊名称：《Journal of Functional Programming》 | 2014年第1期
58.Delimited control and computational effects

机译：有限的控制和计算效果
- 作者：PAUL DOWNEN;ZENA M. ARIOLA
- 期刊名称：《Journal of Functional Programming》 | 2014年第1期
59.Implicit self-adjusting computation for purely functional programs

机译：纯函数程序的隐式自我调整计算
- 作者：YAN CHEN;JOSHUA DUNFIELD;MATTHEW A. HAMMER;UMUT A. ACAR
- 期刊名称：《Journal of Functional Programming》 | 2014年第1期
60.Work it, wrap it, fix it, fold it

机译：处理，包裹，修复，折叠
- 作者：NEIL SCULTHORPE;GRAHAM HUTTON
- 期刊名称：《Journal of Functional Programming》 | 2014年第1期
61.Pushdown flow analysis with abstract garbage collection

机译：具有抽象垃圾收集的下推流程分析
- 作者：J. IAN JOHNSON;ILYA SERGEY;CHRISTOPHER EARL;MATTHEW MIGHT;DAVID VAN HORN
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
62.Transporting functions across ornaments

机译：跨装饰品运送功能
- 作者：PIERRE-EVARISTE DAGAND;CONOR McBRIDE
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
63.Propositions as sessions

机译：命题会议
- 作者：PHILIP WADLER
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
64.Beginning Haskell

机译：开始Haskell
- 作者：ROBIN GREEN
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
65.Special Issue Dedicated to ICFP 2012 Editorial

机译：专用于ICFP 2012编辑的特刊
- 作者：SATNAM SINGH;ROBERT BRUCE FINDLER
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
66.Elaborating intersection and union types

机译：详细说明交集和并集类型
- 作者：JOSHUA DUNFIELD
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
67.On the complexity of stream equality

机译：论流相等的复杂性
- 作者：JOERG ENDRULLIS;DIMITRI HENDRIKS;RENA BAKHSHI;GRIGORE ROSU
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
68.Proof-producing translation of higher-order logic into pure and stateful ML

机译：生成证明的将高阶逻辑转换为纯状态XML
- 作者：MAGNUS O. MYREEN;SCOTT OWENS
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
69.Realm of Racket

机译：球拍领域
- 作者：MATT JADUD
- 期刊名称：《Journal of Functional Programming》 | 2014年第3期
70.The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes

机译：堪萨斯大学重写引擎：具有自定义封闭宇宙的Haskell嵌入式战略编程语言
- 作者：NEIL SCULTHORPE;NICOLAS FRISBY;ANDY GILL
- 期刊名称：《Journal of Functional Programming》 | 2014年第4期
71.Practical Foundations for Programming Languages

机译：编程语言的实践基础
- 作者：DAVID WATT
- 期刊名称：《Journal of Functional Programming》 | 2014年第4期
72.PhD Abstracts

机译：博士文摘
- 期刊名称：《Journal of Functional Programming》 | 2014年第4期
73.Functional Pearl Deletion: The curse of the red-black tree

机译：功能性珍珠删除：红黑树的诅咒
- 作者：KIMBALL GERMANE;MATTHEW MIGHT
- 期刊名称：《Journal of Functional Programming》 | 2014年第4期
74.Computational Semantics with Functional Programming

机译：函数式编程的计算语义学
- 作者：DOMINIC ORCHARD
- 期刊名称：《Journal of Functional Programming》 | 2014年第4期
75.F-ing modules

机译：F-ing模块
- 作者：ANDREAS ROSSBERG;CLAUDIO RUSSO;DEREK DREYER
- 期刊名称：《Journal of Functional Programming》 | 2014年第5期
76.Introduction to the art of programming using Scala

机译：介绍使用Scala进行编程的技巧
- 作者：VLAD PATRYSHEV
- 期刊名称：《Journal of Functional Programming》 | 2014年第5期
77.An insider's look at LF type reconstruction: everything you (n)ever wanted to know

机译：内幕人士对LF型重建的看法：您从未想知道的一切
- 作者：BRIGITTE PIENTKA
- 期刊名称：《Journal of Functional Programming》 | 2013年第1期
78.Syntactic soundness proof of a type-and-capability system with hidden state

机译：具有隐藏状态的类型和能力系统的句法合理性证明
- 作者：FRANCOIS POTTIER
- 期刊名称：《Journal of Functional Programming》 | 2013年第1期
79.Solving the snake cube puzzle in Haskell

机译：解决Haskell中的蛇魔方难题
- 作者：MARK P. JONES
- 期刊名称：《Journal of Functional Programming》 | 2013年第2期
80.Metamorphism in jigsaw

机译：拼图中的变质
- 作者：KEISUKE NAKANO
- 期刊名称：《Journal of Functional Programming》 | 2013年第2期
81.An in-situ algorithm for expanding a graph

机译：展开图的原位算法
- 作者：RICHARD S. BIRD
- 期刊名称：《Journal of Functional Programming》 | 2013年第2期
82.Editor Arrow: An arrow-based model for editor-based programming

机译：编辑器箭头：基于箭头的模型，用于基于编辑器的编程
- 作者：PETER ACHTEN;MARKO VAN EEKELEN;MAARTEN DE MOL;RINUS PLASMEIJER
- 期刊名称：《Journal of Functional Programming》 | 2013年第2期
83.Pearls of Functional Algorithm Design

机译：功能算法设计的明珠
- 作者：IVAN LAZAR MILJENOVIC
- 期刊名称：《Journal of Functional Programming》 | 2013年第2期
84.Building Web Applications with Erlang

机译：使用Erlang构建Web应用程序
- 作者：LAURA CASTRO
- 期刊名称：《Journal of Functional Programming》 | 2013年第2期
85.A consistent semantics of self-adjusting computation

机译：自我调整计算的一致语义
- 作者：UMUT A. ACAR;MATTHIAS BLUME;JACOB DONHAM
- 期刊名称：《Journal of Functional Programming》 | 2013年第3期
86.Refactoring tools for functional languages

机译：功能语言的重构工具
- 作者：SIMON THOMPSON;HUIQING LI
- 期刊名称：《Journal of Functional Programming》 | 2013年第3期
87.A library for polymorphic dynamic typing

机译：多态动态类型库
- 作者：WOUTER SWIERSTRA;THOMAS VAN NOORT
- 期刊名称：《Journal of Functional Programming》 | 2013年第3期
88.Learn You a Haskell for Great Good!

机译：向您了解Haskell的伟大成就！
- 作者：GREG MICHAELSON
- 期刊名称：《Journal of Functional Programming》 | 2013年第3期
89.OCaml from the Very Beginning

机译：OCaml从一开始
- 作者：PRABHAKAR RAGDE
- 期刊名称：《Journal of Functional Programming》 | 2013年第3期
90.Special Issue Dedicated to ICFP 2011 Editorial

机译：专为ICFP 2011编辑的特刊
- 作者：KENICHI ASAI;BENJAMIN C.PIERCE
- 期刊名称：《Journal of Functional Programming》 | 2013年第4期
91.Modular verification of preemptive OS kernels

机译：抢占式OS内核的模块化验证
- 作者：ALEXEY GOTSMAN;HONGSEOK YANG
- 期刊名称：《Journal of Functional Programming》 | 2013年第4期
92.How to make ad hoc proof automation less ad hoc

机译：如何减少临时证明自动化的临时性
- 作者：GEORGES GONTHIER;BETA ZILIANI;ALEKSANDAR NANEVSKI;DEREK DREYER
- 期刊名称：《Journal of Functional Programming》 | 2013年第4期
93.Secure distributed programming with value-dependent types

机译：基于值的类型的安全分布式编程
- 作者：NIKHIL SWAMY;JUAN CHEN;CEDRIC FOURNET;PIERRE-YVES STRUB;KARTHIKEYAN BHARGAVAN;JEAN YANG
- 期刊名称：《Journal of Functional Programming》 | 2013年第4期
94.Idris, a general-purpose dependently typed programming language: Design and implementation

机译：Idris，一种通用的依赖类型编程语言：设计和实现
- 作者：EDWIN BRADY
- 期刊名称：《Journal of Functional Programming》 | 2013年第5期
95.Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins

机译：通过形状双向器插件增强语义双向性
- 作者：JANIS VOIGTLAENDER;ZHENJIANG HU;KAZUTAKA MATSUDA;MENG WANG
- 期刊名称：《Journal of Functional Programming》 | 2013年第5期
96.Counting and generating lambda terms

机译：计算和生成λ项
- 作者：KATARZYNA GRYGIEL;PIERRE LESCANNE
- 期刊名称：《Journal of Functional Programming》 | 2013年第5期
97.EDUCATIONAL PEARL: FRACTAL IMAGE COMPRESSION

机译：教育珍珠：分形图像压缩
- 作者：C. E. MARTIN;S. A. CURTIS
- 期刊名称：《Journal of Functional Programming》 | 2013年第6期
98.Contextual equivalence for inductive definitions with binders in higher order typed functional programming

机译：高阶类型函数编程中带有粘合剂的归纳定义的上下文等价
- 作者：MATTHEW R. LAKIN;ANDREW M. PITTS
- 期刊名称：《Journal of Functional Programming》 | 2013年第6期
99.Commercial users of functional programming workshop report

机译：功能编程研讨会的商业用户报告
- 作者：MICHAEL SPERBER;ANIL MADHAVAPEDDY
- 期刊名称：《Journal of Functional Programming》 | 2013年第6期
100.A compiled implementation of normalisation by evaluation

机译：通过评估归一化的编译实现
- 作者：KLAUS AEHLIG;FLORIAN HAFTMANN;TOBIAS NIPKOW
- 期刊名称：《Journal of Functional Programming》 | 2012年第1期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号