CS 520 Open Forum
By Subject

Starting: Thu Sep 07 2006 - 16:10:47 EDT
Ending: Thu Dec 14 2006 - 15:59:33 EST

• Abstraction values
  • Rui Shi (Sun Nov 26 2006 - 16:10:44 EST)
  • Michel Machado (Sun Nov 26 2006 - 14:31:46 EST)
• CS520
  • Assaf Kfoury (Fri Sep 08 2006 - 13:55:57 EDT)
• CS520 -- problem set 2 posted
  • Assaf Kfoury (Fri Sep 15 2006 - 13:41:17 EDT)
• CS520 Implementation assignment #1 posted
  • Assaf Kfoury (Tue Sep 12 2006 - 17:31:31 EDT)
• CS520 submission question
  • Assaf Kfoury (Tue Sep 26 2006 - 18:34:29 EDT)
  • David Cecere (Tue Sep 26 2006 - 17:23:04 EDT)
  • Rui Shi (Tue Sep 26 2006 - 14:12:05 EDT)
• Dynamic semantics of ascription
  • Rui Shi (Mon Oct 09 2006 - 18:01:02 EDT)
  • michel@cs.bu.edu (Mon Oct 09 2006 - 17:16:05 EDT)
• Evaluation Context - Derivation
  • Assaf Kfoury (Tue Oct 24 2006 - 00:22:32 EDT)
  • Michel Machado (Mon Oct 23 2006 - 09:26:06 EDT)
  • Assaf Kfoury (Mon Oct 23 2006 - 00:33:28 EDT)
• extension for Problem Set # 7
  • kfoury (Thu Nov 09 2006 - 06:40:55 EST)
• fib.stlc
  • Rui Shi (Mon Nov 20 2006 - 12:08:06 EST)
  • samepst@cs.bu.edu (Mon Nov 20 2006 - 11:13:09 EST)
• grading criteria for Problem Set 07
  • Assaf Kfoury (Sun Dec 03 2006 - 22:40:31 EST)
• grading criteria for Problem Set 09
  • Assaf Kfoury (Thu Dec 14 2006 - 10:56:21 EST)
• grading criteria for Problem Set 6
  • Assaf Kfoury (Thu Nov 02 2006 - 16:12:15 EST)
• Grading Criteria of hw2
  • Rui Shi (Mon Oct 16 2006 - 12:16:28 EDT)
• grading criteria of hw4
  • Rui Shi (Thu Oct 19 2006 - 12:47:40 EDT)
• HD16 - Evaluation rule 8]
  • Assaf Kfoury (Wed Nov 08 2006 - 23:45:57 EST)
• Implementation 2 - typecheck - Unit
  • michel@cs.bu.edu (Sun Oct 08 2006 - 20:57:00 EDT)
• Implementation 3 - Details
  • Rui Shi (Sat Nov 04 2006 - 23:21:28 EST)
  • Michel Machado (Sat Nov 04 2006 - 14:32:06 EST)
  • Rui Shi (Fri Oct 27 2006 - 23:30:44 EDT)
  • Michel Machado (Fri Oct 27 2006 - 15:03:13 EDT)
  • Rui Shi (Mon Oct 23 2006 - 15:35:02 EDT)
  • Michel Machado (Mon Oct 23 2006 - 13:40:53 EDT)
• Implementation 3 - parser.mly - bug
  • Michel Machado (Sat Nov 04 2006 - 13:19:54 EST)
• Implementation 3 Stuck terms
  • samepst@cs.bu.edu (Sun Oct 29 2006 - 00:44:31 EDT)
  • Rui Shi (Sun Oct 29 2006 - 11:00:15 EST)
  • Assaf Kfoury (Sat Oct 28 2006 - 20:33:25 EDT)
  • samepst@cs.bu.edu (Sat Oct 28 2006 - 14:06:06 EDT)
  • Rui Shi (Sat Oct 28 2006 - 12:30:00 EDT)
  • samepst@cs.bu.edu (Sat Oct 28 2006 - 12:18:02 EDT)
• Implementation 4
  • Rui Shi (Mon Nov 27 2006 - 16:55:56 EST)
  • samepst@cs.bu.edu (Mon Nov 27 2006 - 16:33:23 EST)
  • samepst@cs.bu.edu (Mon Nov 27 2006 - 16:32:04 EST)
  • Rui Shi (Mon Nov 27 2006 - 13:04:16 EST)
• IMPORTANT: There're typos in parser.mly!
  • Rui Shi (Mon Oct 09 2006 - 01:00:27 EDT)
  • michel@cs.bu.edu (Mon Oct 09 2006 - 00:03:50 EDT)
• OCaml question
  • Rui Shi (Tue Nov 28 2006 - 18:54:53 EST)
• office hours change on this Wednesday
  • Rui Shi (Tue Nov 28 2006 - 18:39:26 EST)
• Out of town next week
  • Rui Shi (Fri Oct 20 2006 - 22:46:17 EDT)
• Problem Set 04 in CS520
  • Assaf Kfoury (Fri Sep 29 2006 - 16:28:40 EDT)
• Problem Set 6 problem 4
  • Assaf Kfoury (Mon Oct 16 2006 - 13:45:57 EDT)
  • samepst@cs.bu.edu (Mon Oct 16 2006 - 14:51:44 EDT)
• Problem Set 7 Problem 1
  • Assaf Kfoury (Mon Nov 06 2006 - 12:37:25 EST)
  • samepst@cs.bu.edu (Mon Nov 06 2006 - 12:20:20 EST)
• Problem Set 7, Problem 3
  • Assaf Kfoury (Mon Nov 13 2006 - 21:47:52 EST)
  • samepst@cs.bu.edu (Mon Nov 13 2006 - 21:00:54 EST)
• Problem sets
  • Assaf Kfoury (Tue Nov 14 2006 - 07:39:23 EST)
• Problems with Let Polymorphism and CT-Proj
  • Rui Shi (Mon Nov 27 2006 - 16:59:12 EST)
  • samepst@cs.bu.edu (Mon Nov 27 2006 - 16:51:46 EST)
• Programming Assignment 4
  • Rui Shi (Sun Nov 19 2006 - 22:18:56 EST)
  • samepst@cs.bu.edu (Sun Nov 19 2006 - 21:47:34 EST)
• Prototype of cstrGen and unify
  • Rui Shi (Fri Nov 24 2006 - 19:07:07 EST)
  • Michel Machado (Fri Nov 24 2006 - 18:06:13 EST)
• pset02
  • Rui Shi (Sun Oct 01 2006 - 18:17:33 EDT)
  • Rui Shi (Sun Oct 01 2006 - 16:56:15 EDT)
• q4
  • Assaf Kfoury (Thu Oct 19 2006 - 19:20:13 EDT)
• Raise]
  • Assaf Kfoury (Wed Nov 08 2006 - 23:45:01 EST)
• second implementation assignment in CS520
  • Assaf Kfoury (Wed Sep 27 2006 - 11:58:25 EDT)
• several announcements for CS 520
  • Assaf Kfoury (Fri Oct 13 2006 - 14:37:05 EDT)
• several items
  • Assaf Kfoury (Thu Nov 02 2006 - 22:53:14 EST)
• Several reminders for CS520
  • Assaf Kfoury (Fri Sep 22 2006 - 13:17:27 EDT)
• test
  • Assaf Kfoury (Thu Sep 07 2006 - 16:10:46 EDT)
• TIME AND PLACE OF FINAL EXAM IN CS520
  • Assaf Kfoury (Tue Dec 12 2006 - 08:20:50 EST)
• two items
  • Assaf Kfoury (Thu Dec 14 2006 - 10:57:18 EST)
• Well-typed => closed
  • Michel Machado (Mon Oct 23 2006 - 09:48:06 EDT)
  • Assaf Kfoury (Mon Oct 23 2006 - 00:16:02 EDT)

Last message date: Thu Dec 14 2006 - 15:59:33 EST
Archived on: Thu Dec 14 2006 - 16:31:59 EST

This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST