First fun in the afternoon

50 %
50 %
Information about First fun in the afternoon

Published on June 15, 2007

Author: Haggrid


First fun in the afternoon:  First fun in the afternoon Nik Sultana The event:  The event To be held periodically (3 times/year) Informal half-day event FP-related themes Mostly academic institutions were represented Changing venues: To be held in Nottingham next, then Cambridge 'Fun in the afternoon' Presentations:  Presentations Phil Wadler (University of Edinburgh) Links: web programming without tiers James Cheney (University of Edinburgh) Mechanised Metatheory Model-Checking Wouter Swierstra (University of Nottingham) A Principled Approach to Version Control Andrew Kennedy (Microsoft Research, Cambridge) C# is a functional programming language 'Fun in the afternoon' Links: web programming without tiers ~ P.Wadler:  Links: web programming without tiers ~ P.Wadler One fun language for web programming, instead of 2+ Translation into target language Environment-specific functions 'Fun in the afternoon' Slide5:  Source: Wadler’s slides Slide6:  Source: Wadler’s slides Mechanised Metatheory Model-Checking ~ J.Cheney:  Mechanised Metatheory Model-Checking ~ J.Cheney Partial verification of inferences Checking theories for soundness Significant complexity issues 'Fun in the afternoon' Cheney: Example:  Cheney: Example Source: Cheney’s slides Cheney: Example (ctd.):  Cheney: Example (ctd.) Source: Cheney’s slides A Principled Approach to Version Control ~ W.Swierstra:  A Principled Approach to Version Control ~ W.Swierstra Giving distributed version control the formal treatment, goal: predictable vc tools General enough theory to describe family of VC systems, including darcs Formalising 'patch' and 'repository', building on to conflict resolution 'Fun in the afternoon' A theory of patches:  A theory of patches Patch = S├ E →T create f = Ø├ {f = c | c \in Bits} → {f = ε} Definitions for repository, patch application, patch composition, conflicts… Still to provide algorithms for conflict resolution. Formalisation very abstract. C# is a functional programming language ~ A.Kennedy:  C# is a functional programming language ~ A.Kennedy Claim: Successive versions of C# increasingly accommodate functional paradigm C# 3.0 will support type inference and lambda expressions. 'It’s functional programming bolted onto a determinedly imperative object-oriented language' (Source: Kennedy’s slides) 'Fun in the afternoon' Theme roundup:  Theme roundup Theoretical Metatheory verification Applied Web Programming Version control FP ideas enmeshed with other paradigms 'Fun in the afternoon' Emphasised FP goals:  Emphasised FP goals Web Programming, distributed systems, multi-core programming Handling large software development Verification 'Fun in the afternoon'

Add a comment

Related presentations

Related pages

Ideas for an afternoon date? Something fun. | New York | Yelp

Ideas for an afternoon date? Something fun. in Relationships & Dating. ... First, I LOVE NY, and I love to revisit and remind myself of all its greatness; ...
Read more

10 Afternoon Date Ideas - Made Man - Gentlemen Welcome

Outdoor sports can be fun. ... This afternoon date presents many options, ... No matter where you are at in this world a first date can be delicate, ...
Read more

UK Tea & Infusions Association - A Social History of the ...

Tradition has it that afternoon tea was 'invented' by Anna Maria, ... Nowadays the 'milk in first or tea in first' debate is altogether more light ...
Read more

Love in the Afternoon (1957 film) - Wikipedia, the free ...

Love in the Afternoon was the first of twelve screenplays by Billy Wilder and I. A. L. Diamond, ... Love in the Afternoon, ...
Read more

London's ten best afternoon teas - Telegraph

Telegraph writers select ten of London's best afternoon teas for ... applied first to ... Fan museum . Taking afternoon tea in the ...
Read more

Etiquette and History of Afternoon Tea | Afternoon to ...

There are many ideas about tea etiquette and the when and how tea was first made popular in England. ... History of the Afternoon Tea Party.
Read more

Prélude à l'après-midi d'un faune - Wikipedia, the free ...

Prélude à l'après-midi d'un faune ... It was first performed in ... Prelude to the Afternoon of a Faun is the first animated segment in Italian director ...
Read more

5 Things To Do With Your Date On An Afternoon: Los Angeles

Museums Nothing says a Saturday afternoon date in Los Angeles like visiting a ... When trying to plan that successful follow-up to a fun first date, ...
Read more

First Thing In the Afternoon, an er fanfic | FanFiction

Author's Note: I forgot I wrote this fic, must have been a few months back now and I never submitted it. Just my usual Ray and Neela random moments.
Read more

Afternoon fun on the first day of summer break - YouTube

Drawing and playing with the water table. ... This feature is not available right now. Please try again later.
Read more