CS 520 Open Forum
By Author

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

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