Editorial
- 期刊名称Journal of Functional Programming
- 作者FELLEISEN, MATTHIAS
- 卷第22卷
- 期第3期
- 印刷ISSN0956-7968
- 电子ISSN1469-7653
- 文件大小36.59KB
- 发表时间2012-5
- DOI10.1017/s0956796812000202
- 页码223-224
Order-sorted completion: the many-sorted wayHarald Ganzinger · 1991
Many-sorted and single-sorted algebrasMuÄka, Anna; Romanowska, Anna B.; Smith, Jonathan D. H. · Algebra universalis · 2013
Low dose insemination of mares using non-sorted and sex-sorted spermA.C. Lindsey; J.E. Bruemmer; E.L. Squires · 2001
In vitro function of sex-sorted and non-sorted fresh and frozen stallion spermatozoa2006
Experiments on the entrainment threshold of well-sorted and poorly sorted carbonate sandsELLEN J. PRAGER; JOHN B. SOUTHARD; ENRIQUE R. VIVONI-GALLART · 1996
Field fertility of sex-sorted and non-sorted frozen–thawed stallion spermatozoaJ.R. Clulow; H. Buss; H. Sieme; J.A. Rodger; A.J. Cawdell-Smith; G. Evans; D. Rath; L.H.A. Morris; W.M.C. Maxwell · 2008
Dimethyl formamide improves the post-thaw characteristics of sex-sorted and non-sorted stallion spermatozoa2010
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?Vidal, J Climent; Llópez, E Cosme · Logic Journal of the IGPL · 2018
Attribute grammars fly first-classViera, Marcos; Swierstra, S. Doaitse; Swierstra, Wouter · ACM SIGPLAN Notices · 2009
Data types à la carteSWIERSTRA, WOUTER · Journal of Functional Programming · 2008
The power of PiOury, Nicolas; Swierstra, Wouter · ACM SIGPLAN Notices · 2008
xmonad in Coq <i>(experience report)</i>Swierstra, Wouter · ACM SIGPLAN Notices · 2013
A library for polymorphic dynamic typingSWIERSTRA, WOUTER; VAN NOORT, THOMAS · Journal of Functional Programming · 2013
More dependent types for distributed arraysSwierstra, Wouter · Higher-Order and Symbolic Computation · 2010
Embedding the refinement calculus in CoqAlpuim, João; Swierstra, Wouter · Science of Computer Programming · 2017
Pure type systems with judgemental equalityADAMS, ROBIN · Journal of Functional Programming · 2005
FUNCTIONAL PEARL Unfolding pointer algorithmsBIRD, RICHARD S. · Journal of Functional Programming · 2001
Red-black trees with typesKAHRS, STEFAN · Journal of Functional Programming · 2001
Functional programming for business studentsMolyneux, Phil · Journal of Functional Programming · 1993
Metamorphism in jigsawNAKANO, KEISUKE · Journal of Functional Programming · 2013
Data types à la carteSWIERSTRA, WOUTER · Journal of Functional Programming · 2008
Delimited control and computational effectsDOWNEN, PAUL; ARIOLA, ZENA M. · Journal of Functional Programming · 2014
The view from the leftMCBRIDE, CONOR; MCKINNA, JAMES · Journal of Functional Programming · 2004