標(biāo)題: Titlebook: Implementation and Application of Functional Languages; 24th International S Ralf Hinze Conference proceedings 2013 Springer-Verlag Berlin [打印本頁] 作者: FAULT 時(shí)間: 2025-3-21 18:16
書目名稱Implementation and Application of Functional Languages影響因子(影響力)
書目名稱Implementation and Application of Functional Languages影響因子(影響力)學(xué)科排名
書目名稱Implementation and Application of Functional Languages網(wǎng)絡(luò)公開度
書目名稱Implementation and Application of Functional Languages網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Implementation and Application of Functional Languages被引頻次
書目名稱Implementation and Application of Functional Languages被引頻次學(xué)科排名
書目名稱Implementation and Application of Functional Languages年度引用
書目名稱Implementation and Application of Functional Languages年度引用學(xué)科排名
書目名稱Implementation and Application of Functional Languages讀者反饋
書目名稱Implementation and Application of Functional Languages讀者反饋學(xué)科排名
作者: 積云 時(shí)間: 2025-3-21 22:15
978-3-642-41581-4Springer-Verlag Berlin Heidelberg 2013作者: cacophony 時(shí)間: 2025-3-22 00:37 作者: 惰性女人 時(shí)間: 2025-3-22 06:51
Advances in Lazy SmallCheck,ed testing library. Users can now test properties that quantify over . and . quantifiers in properties. When a property fails, Lazy SmallCheck now accurately .. These improvements are demonstrated through several practical examples.作者: LVAD360 時(shí)間: 2025-3-22 12:03 作者: conjunctivitis 時(shí)間: 2025-3-22 14:25
Conference proceedings 2013 Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.作者: 過剩 時(shí)間: 2025-3-22 20:28
Ralf HinzeIncludes supplementary material: 作者: separate 時(shí)間: 2025-3-23 00:31 作者: 首創(chuàng)精神 時(shí)間: 2025-3-23 03:28 作者: painkillers 時(shí)間: 2025-3-23 06:54 作者: 好色 時(shí)間: 2025-3-23 11:30
The HERMIT in the Tree,ation. The mechanization process can often reveal pragmatic obstacles that are glossed over in pen-and-paper proofs; understanding and removing these obstacles is our concern. Using HERMIT, we implement eleven examples of three program transformations, report on our experience, and describe improvements made in the process.作者: 啟發(fā) 時(shí)間: 2025-3-23 17:51 作者: CUMB 時(shí)間: 2025-3-23 18:12
A Notation for Comonads, knowledge of the design pattern along with the lack of accompanying simplifying syntax..We propose a lightweight syntax for comonads in Haskell, analogous to the do-notation for monads, and provide examples of its use. Via our notation, we also provide a tutorial on programming with comonads.作者: 衍生 時(shí)間: 2025-3-24 01:37
Pure and Lazy Lambda Mining,structured in such a way that made safely refactoring and extending the model a relatively easy task, and how Haskell’s strong type system made it possible for our team to remain agile under changing specifications.作者: 得意人 時(shí)間: 2025-3-24 05:21 作者: 西瓜 時(shí)間: 2025-3-24 09:29 作者: 朋黨派系 時(shí)間: 2025-3-24 13:28
Building JavaScript Applications with Haskell,mall subset of JavaScript for use in Foreign Function Interface imports. Finally we discuss the implementation of a JavaScript application, completely written in Haskell, with which we show that it is now possible to write an entire JavaScript application completely in Haskell.作者: BIBLE 時(shí)間: 2025-3-24 15:51 作者: RACE 時(shí)間: 2025-3-24 21:13
0302-9743 ere carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.978-3-642-41581-4978-3-642-41582-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 平常 時(shí)間: 2025-3-25 01:09 作者: Commemorate 時(shí)間: 2025-3-25 05:05
Agda Meets Accelerate,te, a Haskell-embedded language for data parallel programming aimed at GPUs. We discuss the potential of dependent types in this domain, describe some of the limitations that we encountered, and share some insights from our preliminary implementation.作者: fetter 時(shí)間: 2025-3-25 09:48 作者: consolidate 時(shí)間: 2025-3-25 13:04 作者: 打包 時(shí)間: 2025-3-25 19:51
Mischa Dieterle,Thomas Horstmeyer,Jost Berthold,Rita Loogen explained by the deformation characteristics of the rocks which surround them. The work is based on observatiollB by many engineers working for the National Coal Board‘s Mining Research and Development Establishment, and by research associates and postgraduate students at the University of Newcastle upon Tyn978-94-010-8643-1978-94-009-4834-1作者: 熄滅 時(shí)間: 2025-3-25 23:58 作者: 稱贊 時(shí)間: 2025-3-26 02:53
Neil Sculthorpe,Andrew Farmer,Andy Gilltimated that whilst only 432 x 10. t (out of a total coal in place at less than 6000 ft of 6360 x 10.) would be economically recoverable by mining, a further 1800 x 10. t might be recoverable by Underground Coal Gasification (UCG); furthermore, these extra reserves are reasonably widely distributed 作者: neolith 時(shí)間: 2025-3-26 07:59 作者: 散步 時(shí)間: 2025-3-26 10:22 作者: Cholesterol 時(shí)間: 2025-3-26 13:36 作者: Airtight 時(shí)間: 2025-3-26 20:42
Paul van der Walt,Wouter Swierstra of conventional models like phenomenological flow models describing residence time distribution (RTD), as well as more recent and sophisticated models like those based on computational fluid dynamics (CFD). In fact, it almost seems imprudent to validate CFD predictions on overall holdup and flow ra作者: 不確定 時(shí)間: 2025-3-26 22:01 作者: Nonconformist 時(shí)間: 2025-3-27 05:11 作者: Enrage 時(shí)間: 2025-3-27 07:23
Nicolas Wu,José Pedro Magalh?es,Jeroen Bransen,Wouter Swierstrahe aim is akin to what Walker (1980, Fig. 4) calls the “pure essence of environmental summary”, which constitutes a facies model obtained from the common denominator of a variety of local examples. The results of this enquiry are then linked to their sedimentary settings, such as delta plains, alluv作者: 詼諧 時(shí)間: 2025-3-27 12:47 作者: HEDGE 時(shí)間: 2025-3-27 16:22 作者: Herpetologist 時(shí)間: 2025-3-27 19:30
Implementation and Application of Functional Languages24th International S作者: Comedienne 時(shí)間: 2025-3-27 23:33 作者: 散開 時(shí)間: 2025-3-28 05:23
An Embedded Type Debugger,rencer. The property guides us how to build a type debugger for various language constructs. In this paper, we describe our idea and first apply it to the simply-typed lambda calculus. After that, we extend it with let-polymorphism and objects to see how our technique scales.作者: 勤勞 時(shí)間: 2025-3-28 08:58
Atze Dijkstra,Jurri?n Stutterheim,Alessandro Vermeulen,S. Doaitse Swierstra作者: Gene408 時(shí)間: 2025-3-28 11:26 作者: ORE 時(shí)間: 2025-3-28 17:43
Dominic Orchard,Alan Mycrofty the National Coal Board and the European Coal and Steel Community (Projects 7220 - ACj806 and 7220 - ACj814), into the behaviour of under- ground openings in British coal mines. The original work has been expanded to include other relevant British and international data. How- ever, it remains, del作者: 使乳化 時(shí)間: 2025-3-28 21:55
Mischa Dieterle,Thomas Horstmeyer,Jost Berthold,Rita Loogeny the National Coal Board and the European Coal and Steel Community (Projects 7220 - ACj806 and 7220 - ACj814), into the behaviour of under- ground openings in British coal mines. The original work has been expanded to include other relevant British and international data. How- ever, it remains, del作者: 1分開 時(shí)間: 2025-3-29 00:40 作者: 沙發(fā) 時(shí)間: 2025-3-29 04:36
Neil Sculthorpe,Andrew Farmer,Andy Gillhe surface, is one which has exceptional appeal to the public. For this reason alone, a careful analysis of the possibilities is desirable, regularly renewed in the light of developing technology and changing energy economics. Such analysis, however, requires increasingly elaborate experimental and 作者: 搬運(yùn)工 時(shí)間: 2025-3-29 11:07
José Pedro Magalh?es this book. However, some slight familiarity with the general principles of getting coal is a desirable adjunct to a consideration of coal utilisation. It is obvious that the quality of the coal, and therefore its suitability for various uses, can be directly affected by the mining techniques employ作者: vocation 時(shí)間: 2025-3-29 13:29
Matthew Fluethey bear a substantial responsibility for the way the policy of the National Coal Board in this field has developed since 1966 and, more directly, for the programme of work at the Coal Research Establishment, Stoke Orchard, near Cheltenham. After a period of relative neglect, R&D on Coal Utilisation作者: 碎石 時(shí)間: 2025-3-29 18:58 作者: 恩惠 時(shí)間: 2025-3-29 20:02
Paul van der Walt,Wouter Swierstrad, as well as time, at multiple scales. Such detailed information needs the use of sophisticated measuring techniques with capability to provide the required information over the entire flow field, as well as time, at multiple scales. Aside from the mean velocities and volume fractions, information 作者: Hay-Fever 時(shí)間: 2025-3-30 03:15 作者: gastritis 時(shí)間: 2025-3-30 05:25
