CS 520 Open Forum
By Subject

Starting: Thu Sep 02 2004 - 15:54:55 EDT
Ending: Fri Nov 19 2004 - 16:53:42 EST

• (no subject)
  • Kanishka Gupta (Thu Sep 23 2004 - 20:41:25 EDT)
• A question about fix point function
  • Assaf J. Kfoury (Fri Oct 15 2004 - 11:32:55 EDT)
  • Hsueh-Szu Yang (Fri Oct 15 2004 - 11:16:50 EDT)
• about course contents and pace of the lectures
  • Assaf Kfoury (Wed Oct 13 2004 - 23:31:29 EDT)
• advice for the homework assignments
  • Assaf J. Kfoury (Fri Nov 19 2004 - 16:32:54 EST)
• annotation in problem 7
  • Assaf J. Kfoury (Fri Nov 19 2004 - 12:40:14 EST)
  • Ashwin Thangali (Fri Nov 19 2004 - 12:33:05 EST)
• closed terms
  • Assaf J. Kfoury (Thu Sep 23 2004 - 14:41:55 EDT)
  • Hany Morcos (Thu Sep 23 2004 - 14:14:16 EDT)
• cs 520 implementation
  • Assaf Kfoury (Thu Oct 07 2004 - 19:58:42 EDT)
  • Assaf J. Kfoury (Wed Oct 06 2004 - 13:38:51 EDT)
  • Yarom Gabay (Wed Oct 06 2004 - 12:53:42 EDT)
• cs-520 Problem Set 8
  • Yarom Gabay (Sun Nov 07 2004 - 09:44:54 EST)
  • Assaf Kfoury (Sat Nov 06 2004 - 23:07:09 EST)
  • Dan Benjamin (Sat Nov 06 2004 - 17:18:49 EST)
  • Yarom Gabay (Sat Nov 06 2004 - 16:32:16 EST)
• cs520
  • Assaf J. Kfoury (Mon Sep 20 2004 - 14:04:47 EDT)
  • Yarom Gabay (Mon Sep 20 2004 - 11:56:20 EDT)
• cs520 question
  • Assaf Kfoury (Mon Oct 11 2004 - 00:13:13 EDT)
  • Michael Long (Sun Oct 10 2004 - 14:51:37 EDT)
• hint for problem 2 in problem set 3
  • Assaf Kfoury (Fri Oct 01 2004 - 19:34:42 EDT)
• Homework question
  • Assaf Kfoury (Mon Sep 13 2004 - 21:18:13 EDT)
  • Hany Morcos (Mon Sep 13 2004 - 19:35:58 EDT)
• Implementation
  • Hany Morcos (Wed Oct 06 2004 - 17:09:27 EDT)
  • Assaf Kfoury (Wed Oct 06 2004 - 17:21:34 EDT)
• implementation part of first homework assignment
  • Assaf J. Kfoury (Tue Sep 14 2004 - 10:56:35 EDT)
• Implicational Logic
  • Quan (Tue Sep 28 2004 - 00:54:14 EDT)
• latex source
  • Assaf J. Kfoury (Tue Sep 28 2004 - 15:58:58 EDT)
  • Gabriel Parmer (Mon Sep 27 2004 - 19:34:32 EDT)
• lecture slides
  • Assaf J. Kfoury (Mon Sep 20 2004 - 14:07:16 EDT)
  • Kyle Burke (Mon Sep 20 2004 - 13:58:32 EDT)
• more on homework assignments and implementations
  • Assaf Kfoury (Sun Oct 17 2004 - 00:03:06 EDT)
• My email address and a question regarding the implementation of the homework.
  • Michael Long (Mon Sep 20 2004 - 13:32:56 EDT)
• My email address and a question regarding the implementation of thehomework.
  • Assaf J. Kfoury (Mon Sep 20 2004 - 13:52:28 EDT)
• PA2 submission
  • Assaf Kfoury (Sat Oct 09 2004 - 09:30:18 EDT)
• Problem Set 1 is posted
  • Assaf J. Kfoury (Fri Sep 10 2004 - 17:11:04 EDT)
• question about ch. 5
  • Assaf J. Kfoury (Mon Sep 20 2004 - 16:46:33 EDT)
  • Hany Morcos (Mon Sep 20 2004 - 15:42:27 EDT)
• question about Exercise 5.3.7
  • Assaf Kfoury (Fri Sep 24 2004 - 19:28:13 EDT)
  • Assaf Kfoury (Fri Sep 24 2004 - 19:35:13 EDT)
  • Assaf Kfoury (Thu Sep 23 2004 - 21:40:17 EDT)
• question of Problem 5
  • Kanishka Gupta (Fri Sep 24 2004 - 13:36:00 EDT)
  • Hany Morcos (Fri Sep 24 2004 - 13:03:11 EDT)
  • Quan Yuan (Fri Sep 24 2004 - 12:52:30 EDT)
• Question on HW1
  • Assaf Kfoury (Thu Sep 16 2004 - 21:55:19 EDT)
  • Kanishka Gupta (Thu Sep 16 2004 - 20:26:56 EDT)
• question regarding head and tail of empty list
  • Assaf J. Kfoury (Thu Sep 23 2004 - 14:39:37 EDT)
  • ashwin thangali (Thu Sep 23 2004 - 14:11:48 EDT)
  • Assaf J. Kfoury (Thu Sep 23 2004 - 13:52:47 EDT)
  • ashwin thangali (Thu Sep 23 2004 - 13:45:26 EDT)
• reminder
  • Assaf J. Kfoury (Fri Oct 15 2004 - 11:41:09 EDT)
• reminder about the implementation
  • Assaf Kfoury (Thu Sep 23 2004 - 21:32:48 EDT)
• renaming
  • Assaf J. Kfoury (Thu Sep 30 2004 - 18:38:25 EDT)
  • ashwin thangali (Thu Sep 30 2004 - 01:14:30 EDT)
  • Quan Yuan (Wed Sep 29 2004 - 21:10:48 EDT)
  • Assaf Kfoury (Thu Sep 30 2004 - 00:51:44 EDT)
• should the first two problems in problem set 9 refer to page 6.
  • Assaf Kfoury (Thu Nov 18 2004 - 23:52:15 EST)
  • Ashwin Thangali (Thu Nov 18 2004 - 22:49:51 EST)
• talk by Likai Liu
  • Assaf J. Kfoury (Wed Oct 27 2004 - 17:23:01 EDT)
• test
  • A.J. Kfoury (Thu Sep 02 2004 - 15:56:51 EDT)
• Top level variable bindings
  • Quan (Fri Oct 01 2004 - 00:42:48 EDT)
  • Assaf Kfoury (Fri Oct 01 2004 - 00:01:43 EDT)
  • Assaf J. Kfoury (Thu Sep 30 2004 - 18:25:59 EDT)
  • Quan Yuan (Thu Sep 30 2004 - 13:14:47 EDT)
  • Assaf Kfoury (Thu Sep 30 2004 - 00:39:56 EDT)
  • ashwin thangali (Wed Sep 29 2004 - 23:45:30 EDT)
• Topic of interest for cs520
  • Assaf J. Kfoury (Fri Nov 19 2004 - 16:37:53 EST)
  • Gabriel Parmer (Fri Nov 19 2004 - 13:59:33 EST)
• where to send homework assignements
  • Assaf J. Kfoury (Mon Sep 13 2004 - 13:19:24 EDT)
  • Assaf J. Kfoury (Mon Sep 13 2004 - 13:07:28 EDT)

Last message date: Fri Nov 19 2004 - 16:53:42 EST
Archived on: Fri Nov 19 2004 - 17:00:43 EST

This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST