Themes in information-rich functional programming for internet-scale data sources

Authors:
Donald Syme;Keith Battocchi;Kenji Takeda;Donna Malayeri;Tomas Petricek
Affiliations:
Microsoft Research, Cambridge, United Kingdom;Microsoft Research, Cambridge, United Kingdom;Microsoft Research, Cambridge, United Kingdom;Microsoft, Redmond, WA, USA;University of Cambridge, Cambridge, United Kingdom
Venue:
DDFP '13 Proceedings of the 2013 workshop on Data driven functional programming
Year:
2013

Citing 7
Cited 0

What is Java binary compatibility?

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Changing Java Programs

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
LINQ: reconciling object, relations and XML in the .NET framework

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution

Proceedings of the 2006 workshop on ML
Types for units-of-measure in f#: invited talk

Proceedings of the 2008 ACM SIGPLAN workshop on ML
UpgradeJ: Incremental Typechecking for Class Upgrades

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
The F# asynchronous programming model

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

The F# language includes a feature called "F# 3.0 Type Providers" to support the integration of internet-scale information sources into a strongly typed functional-first programming environment. In this position paper we describe the key themes in information-rich functional programming that we have observed during this work. Our contribution is to document these themes and highlight future challenges and opportunities, in the context of a recently released, practical, open-source system for information-rich functional programming. We believe that this area is rich in excellent opportunities for future language and tooling research, information-space integration and schematization techniques.