ICFP 2010 - PDF Preprint Papers

ICFP 2010 International Conference on Functional Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICFP-2010 Paper

click to vote

ICFP
2010
ACM

100views Programming Languages» more ICFP 2010»

Using functional programming within an industrial product group: perspectives and perceptions

1 years 6 months ago

Download anil.recoil.org

We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...

David Scott, Richard Sharp, Thomas Gazagnaire, Ani...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	100	Using functional programming within an industrial product group: perspectives and perceptions	claim
2	90	Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators	claim
3	85	Lazy tree splitting	claim
4	84	Parametricity and dependent types	claim
5	81	Rethinking supercompilation	claim
6	81	Experience report: growing programming languages for beginning students	claim
7	81	VeriML: typed computation of logical terms inside a language with effects	claim
8	77	Specifying and verifying sparse matrix codes	claim
9	76	Instance chains: type class programming without overlapping instances	claim
10	76	TeachScheme!: a checkpoint	claim
11	75	Bidirectionalizing graph transformations	claim
12	75	The gentle art of levitation	claim
13	73	Lolliproc: to concurrency from classical linear logic via curry-howard and control	claim
14	73	The reduceron reconfigured	claim
15	72	Semantic subtyping with an SMT solver	claim
16	72	A fresh look at programming with names and binders	claim
17	70	A certified framework for compiling and executing garbage-collected languages	claim
18	70	Combining syntactic and semantic bidirectionalization	claim
19	70	Higher-order representation of substructural logics	claim
20	69	Fortifying macros	claim
21	68	Logical types for untyped languages	claim
22	67	Abstracting abstract machines	claim
23	66	Regular, shape-polymorphic, parallel arrays in Haskell	claim
24	66	Distance makes the types grow stronger: a calculus for differential privacy	claim
25	65	Total parser combinators	claim
26	65	Program verification through characteristic formulae	claim
27	62	Functional pearl: every bit counts	claim
28	61	Security-typed programming within dependently typed programming	claim
29	58	Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation	claim
30	58	The impact of higher-order state and control effects on local relational reasoning	claim
31	57	ReCaml: execution state as the cornerstone of reconfigurations	claim
32	53	Matching lenses: alignment and view update	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers