Our Final Exam will be on Monday December, 15 at 7.30am in 140 Schaeffer Hall. You will have two hours.
See the updated Course Schedule a list of topics, and those that are not relevant for the final.
Thanks for a great semester, I enjoyed it and Good Luck to everybody.
I've uploaded my Sample Solutions to the third micro assignment to the Contents section on ICON.
I have used the chapter "The Logic Programming Paradigm" from the book Programming Languages: Principles and Paradigms by M. Gabbrielli and S. Martini. You can get online access to it through SpringerLink if you are on campus.
The third and last micro assignment is now available from the Micro 3 Dropbox. Please download it and upload your solution to the same dropbox.
Submit your solution before Friday December, 12 at 1.30pm. We will discuss the solutions in class.
Unfortunately, my checker script for the first question has a bug that fails if your parser correctly rejects an invalid Roman numeral. Please download the updated romanChecker.ml from the Dropbox on ICON and copy it over the one in the .zip archive.
Also, I have been made aware that OCaml's ocamlbuild tool that I use to compile your files may have problems on Windows. If you get an error "cannot execute binary file", please delete the romanChecker.native or ocamlChecker.native files and compile again. I'm not sure if all versions are affected, but I've seen this issue on Windows 8. Sorry about the inconvenience.
The third homework assignment is now available from the Homework 3 Dropbox on ICON. Please download the files and upload your solutions to the same dropbox.
This assignment is going to be auto-graded, you must make sure the program you submit does not contain errors, otherwise we cannot give you any points for this part.
Please submit your solution before Tuesday, November 10 at 11.59pm.
I have uploaded sample solutions to the second homework assignment.
We have received several submissions that did not compile. For the next homework, please follow the submission instructions. The file you submit must compile and the testing script must be able to process it. That means you must not remove functions from the template and leave the empty templates if you do not provide a solution. This time only, we will grade whatever we can salvage from your submission and apply a 10% penalty to it.
I have uploaded sample solutions for the midterm to the contents section on ICON.
I'm sorry about the mix-up in Question 1.1. The language I ended up specifying has a much more difficult regular expression, but the DFA is very similar to the one I intended. Therefore I turned Question 1.1b into an extra credit question, the maximum score for the exam is now 40 points.
Please note that I can start my office hours this Tuesday only at 2.45pm. You can find me at the usual place in 201K MLH until about 4.30pm. Sorry about the late notice.
As announced last week, we will have the midterm exam on Wednesday, October 22 in class. You may use a set of notes including my own lecture notes during the exam, but on paper only. No electronic devices are allowed during the exam.
The midterm will cover every topic up to Wednesday, October 15, which includes polymorphic type checking. We are going to have a quick review session on Monday, October 20, so come armed with any questions you have about the class.
The second homework assignment is now available from the Homework 2 Dropbox on ICON. Please download the files and upload your solutions to the same dropbox.
This assignment is going to be auto-graded, you must make sure the program you submit does not contain errors, otherwise we cannot give you any points for this part.
Please submit your solution before Monday October 20 at 11.59pm.
We have graded the first homework assignment. You can find feedback on your solution in the Dropbox and my sample solutions to the Assignment and the Regular Expression Script in the Contents section on ICON.
I have to move my office hours Tuesday this week only (October 7), you can find me in 201K two hours later from 5-6pm instead. Friday's office hours and the following weeks are unaffected.
Sample solutions to Micro Assignment 2 and the are available in the Contents section on ICON.
The second micro-assignment is now available from its Dropbox on ICON. Please download the file and upload your solutions to the same dropbox.
Please submit your solution before Monday, Oct 6 at 1.30pm.
I have updated the installation instruction with some more hints about Mac OS X, see the OCaml Installation page.
You can find instructions to install OCaml on your computer, and hints on which lab computers to use on the OCaml Installation page
The first homework assignment is now available from the Homework 1 Dropbox on ICON. Please download the files and upload your solutions to the same dropbox.
A part of this assignment is going to be auto-graded, just as the later programming assignments will be. Take this as an oppurtunity for us and for you to practice this form of submission. Make sure the program you submit does not contain errors, otherwise we cannot give you any points for this part.
Please submit your solution before Wednesday, Spetember 24 at 11.59pm.
The first micro-assignment is now available from its Dropbox on ICON. Please download the file and upload your solutions to the same dropbox.
Please submit your solution before Wednesday, Sep 3 at 1.30pm.
I have started writing up some of the definitions seen in class as a supplement to the notes you are taking in class. I hope this partly compensates for the lack of a single textbook and will help you revising. The notes are continuously updated after each class, you can download them in the Contents section on ICON
As announced in the lecture I am interested in your background and motivation.
Please write four specific questions about the subject of this course that you want answered during this semester. Also write a few comments about why you enrolled in this course. Be honest.
Submit your answers to the Four Question Assignment Dropbox at any time in any format, you will not be marked and I will certainly not read your answers to the class. I would like to find out about your expectations and tailor the course a bit.
Welcome to Programming Language Concepts, Fall 2014. I'm looking forward to seeing you all in class.
Every Monday, Wednesday and Friday 1.30pm-2.20pm in W228 CB
Dr. Christoph Sticksel
Email christoph-sticksel@uiowa.edu
Every Tuesday 2pm-3.30pm and Friday 10.30am-12noon in 201K MacLean Hall.
Jingwei Ji
Email jingwei-ji@uiowa.edu
Every Monday 3pm-5pm and Wednesday 3pm-5pm, 101N MLH