Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
VT04

Topics in Programming Languages VT04

TDA260 - Topics in computer languages , 4,0p (ECTS 6,0)

Latest News and General Information

There will be no lecture on 2005-03-11 or on the first day of the next period 2005-04-08.
2005-02-28 I have still not heard from Bing Liang or Tu Cheng-chun about their presentations (or whether they have quit the course).
2005-02-22 From the email:
- Some info about the presentations.
  Presentations should be approx 25-35 minutes long. Your presentation should be in your own words. You may use a small number of slides from someone elses presentation, but these must be acknowledged clearly on the slide, and not presented as your own. Let me know if you wish to use a projector (you can bring your own laptop).
- About participation in the course.
  I expect you to attend the presentations and actively participate. Part of your grade for the final part of the course may be helped by your active participation! Links to all papers are given on the course page. You are encouraged to download a copy of the articles presented to look at before the presentations.
2005-02-11 Deadline for choosing a paper to present: Monday 21 Feb.Please send me a URL to the paper, and give me some ideas when you can present it.
2005-02-11 Peter Dybjer will talk about Dependent Types.
2005-02-11 New web page.

What?

This is an advanced course for undergraduates specialising in computer languages, given in seminar form. The course runs throughout the whole year, with regular seminars and discussions, occasional exercises, and a project.

You should have previously studied a course in programming languages.

When?

In period 3 the course meetings normally take place in room 3407 in the EDIT building, at 13:15 on Fridays.

Course leader

David Sands (dave @cs) room 5474 in EDIT Building, voice 772 1059 (Chalmers).

Course Programme

In the first part of the course, we study and compare a variety of different languages.

In the second part, we study type systems. Here is last year's program.

In the last part of the course, you will present recent articles on programming languages. Here is the timetable from last year. You may choose any article related to programming languages, published in the last 5 years. Good sources are:

ACM Principles of Programming Languages (POPL), annual conference.
ACM Programming Language Design and Implementation (PLDI), annual conference
ACM International Conference on Functional Programming (ICFP), annual conference.
European Symposium on Programming (ESOP), annual conference.
ACM Transactions on Programming Languages and Systems (TOPLAS), journal.
Journal of Functional Programming (JFP).

Most articles can be found on the web. The most convenient way to access ACM articles is via the ACM Digital Library -- but full text is available only to subscribers. Chalmers subscribes, so provided you use a machine with a Chalmers IP number, and follow the link from this page, you should be granted access (this doesn't always work!).

You can also find articles via researchindex.com, an excellent citation index for computer science which often has cached copies or links to articles, and Google's new academic search engine scholar.google.com

Let me know when you have chosen an article!

Schedule

2005-01-28 Dave talked about type systems and the Curry-Howard Isomorphism.
In the first half I gave an overview based on this lecture by John Mitchell (see also John's excellent PL textbooks.) For the second part I used material derived from this article by Phil Wadler. See also Phil's related historical papers.
2005-02-04 Guest lecture: Josef Svenningsson spoke about Type Inference: Hindley Milner and Beyond
2005-02-11 Guest lecture: Peter Dybjer will talk about dependent types
2005-02-18 Guest lecture: Jörgen Gustavsson will talk about Types for Program Analysis (Abstract)
2005-02-25 Student article presentations
- Irfan Khaja Mohammad will present an article about using UML for declarative programming
- Anders Höckersten will present "Strongly Typed Heterogeneous Collections" which appeared at Haskell Workshop 2004.
2005-03-04 Student article presentations
- Danko Ilik will present Tridirectional Typechecking
- Victor Blomqvist will present Stream Computing on Graphics Hardware
2005-03-11 No lecture (End of Period 3)
2005-04-08 No lecture (First week of Period 4)
2005-04-15 Article presentations
- Ludwik Ejsmont will talk about Modern Concurrency Abstractions for C#
- Khachatur Muradyan will present Kill-safe synchronization abstractions.
2005-04-22 Article presentations
- Niharendu Chandra will present A system for graph-based visualization of the evolution of software
- Jonas Sjöquist will talk about Coordination with scopes
- Haokai Sun will present "Probabilistic Noninterference in a Concurrent Language"
2005-04-29 Article Presentations
- Magnus Zottermann will present "Type-Safe Covariance in C++".
- Jo Yu will present Adding wildcards to the Java programming language
- Aklima Shahrin (TBA)
...
2005-05-20 (End of period 4)

About the Presentations

Your individual presentations should be around 30 minutes long. Here is an excellent article and talk about how to give a good research talk.

Presentations of projects with two people can be slightly longer, and should be divided between the speakers.

About the Projects

Course participants carry out a project related to computer languages, and present their work at a workshop at the end of the course. The projects completed in 2004 appear here.

Participants

Here is a list of participants.

Last modified: Monday, 28-Feb-2005 09:57:13 MET
http://www.cs.chalmers.se/~dave/Courses/Topics/