![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Computer Laboratory Wednesday Seminars > Strongly-Typed Language Support for Internet-Scale Information Sources
![]() Strongly-Typed Language Support for Internet-Scale Information SourcesAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact David Greaves. “Data, data everywhere, ....” Modern computing is highly information rich, but our programming languages are information sparse, especially our strongly typed ones. “Information Rich Programming” (IRP) is an emerging direction for strongly-typed language design and implementation, and the open source, cross-platform F# language from Microsoft is leading the way in this area. In this talk, we’ll give an overview of the challenges of strongly-typed IRP against web data markets, web ontologies, databases, services and enterprise data schema. Are information spaces “just” libraries? Can we gives types to “everything”, and if so, should we? What does it mean for future type systems? We’ll demonstrate what F# 3.0 specifically offers in the area of IRP and heterogeneous programming, and also look at how information-richness makes us reconsider programming language and tooling design more generally, and the themes that recur in this kind of work. This talk is part of the Computer Laboratory Wednesday Seminars series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsPMP Presentation Day Forum for Youth Participation and Democracy Financial History Seminar Cambridge DOCking Station RCEAL Tuesday Colloquia Meeting the Challenge of Healthy Ageing in the 21st CenturyOther talksFumarate hydratase and renal cancer: oncometabolites and beyond Disease Migration Cycloadditions via TMM-Pd Intermediates: New Strategies for Asymmetric Induction and Total Synthesis Neural Networks and Natural Language Processing Gambling Disorder in the UK: an overview White dwarfs as tracers of cosmic, galactic, stellar & planetary evolution 'Cambridge University, Past and Present' Black and British Migration Investigating the Functional Anatomy of Motion Processing Pathways in the Human Brain The frequency of ‘America’ in America Constructing the virtual fundamental cycle Systems for Big Data Applications:Revolutionising personal computing |