go to start Sem Prog An Tr FS2010
|home |print view |recent changes |changed June 14, 2010 |
exact
|You are 54.83.93.85 <- set your identity!

Sections: Seminar: Program Analysis and Transformation | Important dates | Participants | Topics | Supervisors | Notes | Themensammlung |

Seminar: Program Analysis and Transformation ^

Spring Semester 2010

Topic: Functional Programming and Automatic Parallelization Functional Programming Concepts in C#, F#, Haskell, Scala, ML:

General Reference / Online Textbook Real World Haskell by Bryan O'Sullivan, Don Stewart, and John Goerzen

Standard Introductionary Textbook Haskell The Craft of Functional Programming by Simon Thompson

(Glasgow) Haskell Compiler

Arrows Preprocessor (part of GHC > 6.2)

Eclipse FP2 (functional programming)

Haskell Visual Studio (dotNet)

CATEGORIES TYPES AND STRUCTURES - An Introduction to Category Theory for the working computer scientist by Andrea Asperti Giuseppe Longo

Important dates ^

20100224 14:00-15:00 KickOff_FS10 Meeting 6.112
20100325 Milestone_1: outline and concept of seminar article reviewedindividual appointment(s) with advisor
20100425 Milestone_2: draft of article reviewedindividual appointment(s) with advisor
20100526 Milestone_3: article finished, draft of presentation reviewedindividual appointment(s) with advisor
20100615 Seminar Presentation day (PublicInvitationFS10)

Participants | Topics ^

Seminar - Program Analysis and Transformation 1

NameInstitute/CompanyWorkspaceSupervisorTopic
RobertBremxxxxxxxxPSMonads
ChristophGallikerxxxxxxxxPSArrows
DanielMichelxxxxxxxxPSLambda in current pgm languages: Haskel, Java, Scala, C++
StefanOberholzerCrealogixxxxxJJLambda Calculus "early years"

Seminar - Program Analysis and Transformation 2

NameInstitute/CompanyWorkspaceSupervisorTopic
MichaelRueeggIFS6.108JJApplicative Functors
PascalKesseliIFS6.110JJDryads (Distributed Data-Parallel Programs)

Supervisors ^

SeminarEvaluationSchema

Notes ^


Usage see WelcomeVisitors

http:files/InfoSem-SE-advanced-Kickoff.pdf

Themensammlung ^


|home |print view |recent changes |changed June 14, 2010 |
exact
|You are 54.83.93.85 <- set your identity!

Sem Prog An Tr FS2010
go to start