FP@StAnd
Functional Programming at St Andrews-
IFIP Working Group 2.11 Meeting
Posted on January 31st, 2010 No commentsOn “Automatic Program Generation” will be held in St Andrews from 1st-3rd March 2010.
-
Lectureships and Chair at St Andrews
Posted on January 31st, 2010 No commentsLectureships and chair at St Andrews
http://www.jobs.ac.uk/job/AAK643/2-lectureships-/
http://www.jobs.ac.uk/job/AAK633/chair-in-human-computer-interaction-/
The chair says “HCI” but, as always, excellent candidates in any area will be considered.
Note the deadline of February 10th.
-
New twitter account for parallel Haskell stuff
Posted on December 12th, 2009 No commentsSet up new twitter account for parallel haskell, @parallelhaskell
-
Parallel Hackathon in St Andrews
Posted on December 3rd, 2009 No commentsSt Andrews will host the first parallel Haskell Hackathon from December 10-12 2009.
The agenda is below
http://hackage.haskell.org/trac/ghc/wiki/HackPar
-
Idris Tutorial
Posted on November 29th, 2009 No commentsI’m working on an Idris tutorial which now has enough content that it should be useful – there will be more to come (more examples in particular) as time permits but in its current state it explains most of the language features you might want to use. Comments and suggestions are welcome, especially if accompanied by a patch!
-
Don Symes Talk in Edinburgh
Posted on November 13th, 2009 No commentsYou are invited to an Informatics Distinguished Lecture by Don Syme,
Senior Researcher at Microsoft Research Cambridge. The lecture will be
followed by a drinks reception.Regards,
Kirsten Belk
F# – Bringing Functional Programming into the Mainstream
Don Syme, Microsoft
4pm, Wednesday, 18th November 2009
Room G07, The Forum, 10 Crichton Street.Abstract: The aim of the F# language has been to carve out a space for
functional programming in the context of a modern, applied software
development environment (.NET). F# will now ship as part of Visual
Studio 2010, making functional programming a viable choice for
professional development. This talk will recap how F# has been
developed, its heritage in OCaml, C# and Haskell, and the design
principles that have been used. While compromises have been necessary,
the F# language stays true to the proven elements of typed functional
languages. Building on this core, I will present two highly successful
novel features of F#: units of measure and computation expressions,
the latter with application to asynchronous and parallel programming. -
Dependent types talk
Posted on October 26th, 2009 No commentsSlides from today’s FFLunch talk, titled Domain Specific Language Implementation with Dependent Types are now online on my web page. Including a sneak preview of the half of the talk we didn’t have time for!
I’m experimenting with scribd…
-
VidioWiki Interviews from ICFP
Posted on October 6th, 2009 No commentsAs many of you will know, VidioWiki conducted a number of short
video interviews at ICFP in Edinburgh. For info, a preliminary
version of the resulting feature is now available from:http://vidiowiki.com/feature/fnu/icfp_09
There will be a link to this from the ICFP 2009 home page.
-
Investment Bank Looking for someone with some Haskell Skills
Posted on September 29th, 2009 No commentsPrincipal investment firm based in Manhattan is looking for an outstanding software developer to maintain and develop proprietary accounting and portfolio management systems. Job duties will include coding projects as well as management of outsourced system maintenance. Candidates should have at least a bachelor’s degree in computer science from a top university and impeccable coding style. The majority of the programming is done in JAVA at present, so candidates must have extensive experience with JAVA and related technologies but we are always experimenting with the most exciting technologies (e.g. Haskell) and you will be given freedom in choosing suitable programming languages and technologies. Experience working with SQL is a must and familiarity with functional programming is a plus. We are looking for a candidate who shows strong analytical, organizational, and communication skills. Attention to detail is essential. We are a growth oriented firm that values people who take a craftsman’s pride in their work. Candidates must have a desire to constantly improve one’s knowledge of programming and the financial markets. A true love of building quality software and a team spirit is strongly recommended. Background in accounting is not necessary but is definitely a plus. This is a high-impact, high-visibility job opportunity where successful candidates will be entrusted with a lot of responsibility for products that have a direct effect on the P&L of the firm and influences our workflow. Please send your CV and cover letter to recruitment@karamaan.com, thank you.
-
Intel is developing a version of Concurrent Collections for Haskell
Posted on September 29th, 2009 No commentsSee the link below
Link to Concurrent Collections for Haskell



Recent Comments