 |
|
|
|
|
|
| Homework #5 is published | Homework #5 is now available under the "Home Assignments" section.
Due date is 28/05/12 at 12:30.
The TA in charge of this assignment is Yuri Meshman.
Please contact him for any questions regarding this assignment.
Good luck!
|
|
| Created on 14/5/2012, 09:36:22 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 has been graded | HW1 has been graded and will be returned to the secretariat on Monday.
Please contact Yoav regarding questions or appeals. |
|
| Created on 6/5/2012, 14:09:53 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #4 is published | Homework #4 is now available under the "Home Assignments" section.
Due date is 13/05/12 at 22:00.
The TA in charge of this assignment is Yoav Kantor.
Please contact him for any questions regarding this assignment.
Good luck! |
|
| Created on 1/5/2012, 10:03:20 |
|
|
|
|
|
|
|
|
|
|
|
|
| Lectures and tutorials changes | 1. Due to Shavuot, the lecture and tutorial on the 27.5 will not be given.
2. Due to Conferences abroad, prof. Gill will not give lectures on the 3.6, 10.6 and 17.6 but instead give complementary lectures.
For each canceled lecture two complementary lectures will be given so that, hopefully, all of you will be able to attend.
Note that both complementary lectures are the same and there is no need to attend both.
Instead of the lecture on 3.6, two complementary lectures will be given:
- 29.5, 14:30 @ Taub 2
- 30.5, 12:30 @ Taub 7
Instead of the lecture on 10.6, two complementary lectures will be given:
- 5.6, 12:30 @ Taub 2
- 6.6, 12:30 @ Taub 2
Instead of the lecture on 17.6, two complementary lectures will be given:
- 19.6, 14:30 @ Taub 2
- 20.6, 12:30 @ Taub 2
3. On the 10.6 instead of the lecture (12:30 @ Taub 2) two hours tutorial will be given to all tutorial groups.
Therefore other tutorials on that week will not take place.
Sorry for the inconvenience,
The course staff |
|
| Created on 29/4/2012, 17:21:19 |
|
|
|
|
|
|
|
|
|
|
|
|
| The file test3.sml was updated | the file test3.sml was updated
and an output file was posted. |
|
| Created on 21/4/2012, 22:30:30 |
|
|
|
|
|
|
|
|
|
|
|
|
| Lecture slides have been added: Bindings | | Note that the slides cover most of the material talked in class but not all of it. |
|
| Created on 19/4/2012, 11:47:34 |
|
|
|
|
|
|
|
|
|
|
|
|
| FAQ for Homework #3 is now open | Please note that an FAQ section for Homework #3 is now open.
Make sure to follow up on everything posted in the FAQ.
Reminder - limitations or requirements that appear in the FAQ are mandatory!
Please go over the FAQ before sending a question by mail. |
|
| Created on 18/4/2012, 15:25:20 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #3 was updated | | question 4 should be submitted a dry submission and should not be part of the wet one. |
|
| Created on 18/4/2012, 13:41:24 |
|
|
|
|
|
|
|
|
|
|
|
|
| Yuri's reception hour for this week solely, has been moved | As a one time occurrence, this week,
Yuri will holds his reception hour 9:00 - 10:00 on Thursday and not
as said on the course cite. |
|
| Last updated on 18/4/2012, 13:36:59 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #3 published | Homework #3 is now available under the "Home Assignments" section.
Due date is 29/04/12 at 12:30.
The TA in charge of this assignment is Yuri Meshman.
Please contact him for any questions regarding this assignment.
Good luck! |
|
| Created on 15/4/2012, 23:37:30 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #2 was updated | Please note that homework #2 was updated.
You can use auxiliary functions in question 1b and one auxiliary function in question 2b.
In all other questions(1a, 2a, 3, 4, 5) auxiliary functions are not allowed. |
|
| Created on 4/4/2012, 12:55:51 |
|
|
|
|
|
|
|
|
|
|
|
|
| FAQ for Homework #2 is now open | Please note that an FAQ section for Homework #2 is now open.
Make sure to follow up on everything posted in the FAQ.
Reminder - limitations or requirements that appear in the FAQ are mandatory!
Please go over the FAQ before sending a question by mail. |
|
| Created on 4/4/2012, 12:54:25 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #2 published | Homework #2 is now available under the "Home Assignments" section.
Due date is 15/04/12.
The TA in charge of this assignment is Yuri Meshman.
Please contact him for any questions regarding this assignment.
Good luck! |
|
| Created on 2/4/2012, 09:12:50 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #1 due date postponed to 3.4.12 | The due date of assignment #1 is postponed to 3.4.12 at midnight.
Note that assignment #2 is will be published as scheduled on the 1.4.12.
Therefor, we strongly encourage you to finish this exercise as soon as possible.
|
|
| Created on 26/3/2012, 11:02:29 |
|
|
|
|
|
|
|
|
|
|
|
|
| Course's grading policy is available in the FAQ section | |
| Created on 25/3/2012, 13:12:07 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #1 FAQ has been updated | |
| Created on 25/3/2012, 12:57:19 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #1 has been updated | |
| Created on 20/3/2012, 10:38:25 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework #1 is published | Homework #1 is now available under the "Home Assignments" section.
Due date is 01/04/12 at 12:30.
The TA in charge of this assignment is Yoav Kantor.
Please contact him for any questions regarding this assignment.
Good luck! |
|
| Created on 19/3/2012, 21:42:34 |
|
|
|
|
|
|
|
|
|
|
|
|
| Introduction to Go pdf had been updated | | Introduction to Go pdf had been updated and is available under Course Material section |
|
| Created on 18/3/2012, 18:50:15 |
|
|
|
|
|
|
|
|
|
|
|
|
| Welcome to Programming Languages (234319) course | (*) Tutorials in the first week are given as usual.
(*) Students that are registered to the PL course can work in the Linux SSDL computer lab on the 2nd floor.
Please read the SSDL presentation (see course material) for information.
The lab has some rules and regulations that have to be respected.
Note that students might be expelled from the lab if they break these rules.
(*) It is not possible to transfer HW grades from previous semesters.
We wish you good luck in the upcoming semester,
Course staff |
|
| Created on 12/3/2012, 20:06:08 |
|
|
|
|
|
|
Technion - Israel Institute of Technology 
