undergrad research

• To: types@cis.upenn.edu
• Subject: undergrad research
• From: Norman Danner <ndanner@math.ucla.edu>
• Date: Mon, 12 Mar 2001 18:52:28 -0800 (PST)

I am looking for some "small" undergraduate research projects relating
to lambda calculus and/or type theory.  "Small" here means approachable
in a 10-week session, assuming a little time at the beginning to bring
the student up to speed.  The research questions need not be publication-
quality, but ought not already be answered.  I'd appreciate hearing any
suggestions.  Please reply directly to me, and I will post a summary.
Thanks!

--------------------------------------------------------------------------
Norman Danner                                        ndanner@math.ucla.edu
VIGRE Assistant Professor                http://www.math.ucla.edu/~ndanner

             Department of Mathematics/Program in Computing       
                 University of California, Los Angeles
                                  ----
              "Stacatto signals of constant information..."
                -- Paul Simon, "The Boy in the Bubble"
--------------------------------------------------------------------------

• Prev: Summary: object-oriented type systems in practice
• Next: CONCUR 2001 FINAL CFP & EXTENDED DEADLINE
• Index(es):
  • Main
  • Thread