bitc-dev  

Messages by Thread

• • Re: [bitc-dev] Generalizing discriminated type Jon Zeppieri
  • Re: [bitc-dev] Generalizing discriminated type Jonathan S. Shapiro
  • Re: [bitc-dev] Generalizing discriminated type Jon Zeppieri
  • Re: [bitc-dev] Generalizing discriminated type Jonathan S. Shapiro
  • Re: [bitc-dev] Generalizing discriminated type Jon Zeppieri
  • Re: [bitc-dev] Generalizing discriminated type Jonathan S. Shapiro
• [bitc-dev] Heterogeneous vectors Jonathan S. Shapiro
  • Re: [bitc-dev] Heterogeneous vectors Pal Engstad
  • Re: [bitc-dev] Heterogeneous vectors Jonathan S. Shapiro
  • Re: [bitc-dev] Heterogeneous vectors Geoffrey Irving
  • Re: [bitc-dev] Heterogeneous vectors Jonathan S. Shapiro
• [bitc-dev] Union leg case analysis Jonathan S. Shapiro
  • [bitc-dev] Union leg case analysis Jonathan S. Shapiro
• [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
  • Re: [bitc-dev] Type question: a concrete example Raoul Duke
  • Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
  • Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
  • Re: [bitc-dev] Type question: a concrete example Geoffrey Irving
  • Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
  • Re: [bitc-dev] Type question: a concrete example Jon Zeppieri
  • Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
  • Re: [bitc-dev] Type question: a concrete example Jon Zeppieri
  • Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
• [bitc-dev] Test of email Jonathan S. Shapiro
• [bitc-dev] Contributing code Jonathan S. Shapiro
  • Re: [bitc-dev] Contributing code Matt Rice
• [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
  • Re: [bitc-dev] GC, owning, and induction proved removal contracts Matt Oliveri
  • Re: [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
  • Re: [bitc-dev] GC, owning, and induction proved removal contracts Matt Oliveri
  • Re: [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
  • Re: [bitc-dev] GC, owning, and induction proved removal contracts Jonathan S. Shapiro
  • Re: [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
  • Re: [bitc-dev] GC, owning, and induction proved removal contracts Matt Oliveri
  • Re: [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
• [bitc-dev] ot: who is working on gcs? Raoul Duke
  • Re: [bitc-dev] ot: who is working on gcs? David Jeske
  • Re: [bitc-dev] ot: who is working on gcs? Jonathan S. Shapiro
  • Re: [bitc-dev] ot: who is working on gcs? Matt Rice
  • Re: [bitc-dev] ot: who is working on gcs? Ben Kloosterman
  • Re: [bitc-dev] ot: who is working on gcs? David Jeske
  • Re: [bitc-dev] ot: who is working on gcs? William ML Leslie
• [bitc-dev] Ur: Statically-Typed Metaprogramming with Type-Level Record Computation Sandro Magi
• [bitc-dev] random complaint about extant reflection Raoul Duke
  • Re: [bitc-dev] random complaint about extant reflection David Jeske
  • Re: [bitc-dev] random complaint about extant reflection Raoul Duke
  • Re: [bitc-dev] random complaint about extant reflection William ML Leslie
  • Re: [bitc-dev] random complaint about extant reflection William ML Leslie
  • Re: [bitc-dev] random complaint about extant reflection Jonathan S. Shapiro
  • Re: [bitc-dev] random complaint about extant reflection William ML Leslie
  • Re: [bitc-dev] random complaint about extant reflection Jonathan S. Shapiro
  • Re: [bitc-dev] random complaint about extant reflection William ML Leslie
  • Re: [bitc-dev] random complaint about extant reflection Raoul Duke
  • Re: [bitc-dev] random complaint about extant reflection Jonathan S. Shapiro
  • Re: [bitc-dev] random complaint about extant reflection Raoul Duke
  • Re: [bitc-dev] random complaint about extant reflection Jonathan S. Shapiro
  • Re: [bitc-dev] random complaint about extant reflection Raoul Duke
• [bitc-dev] drifting OT wrt BitC (Re: better gc?) Raoul Duke
• Re: [bitc-dev] gc Raoul Duke
  • Re: [bitc-dev] gc Raoul Duke
• [bitc-dev] better gc? Raoul Duke
  • Re: [bitc-dev] better gc? David Jeske
  • Re: [bitc-dev] better gc? Sandro Magi
  • Re: [bitc-dev] better gc? David Jeske
  • Re: [bitc-dev] better gc? Sandro Magi
  • Re: [bitc-dev] better gc? Raoul Duke
  • Re: [bitc-dev] better gc? Jonathan S. Shapiro
  • Re: [bitc-dev] better gc? Raoul Duke
  • Re: [bitc-dev] better gc? Jonathan S. Shapiro
  • Re: [bitc-dev] better gc? Raoul Duke
  • Re: [bitc-dev] better gc? Jonathan S. Shapiro
  • Re: [bitc-dev] better gc? Raoul Duke
  • Re: [bitc-dev] better gc? David Jeske
  • Re: [bitc-dev] better gc? Sandro Magi
• [bitc-dev] reminder to self: grok this Raoul Duke
  • Re: [bitc-dev] reminder to self: grok this Jonathan S. Shapiro
  • Re: [bitc-dev] reminder to self: grok this Raoul Duke
• [bitc-dev] cayenne: another mixed type/value syntax language Geoffrey Irving
• [bitc-dev] Liquid Types Sandro Magi
• [bitc-dev] constructors Matt Rice
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Matt Rice
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Geoffrey Irving
  • Re: [bitc-dev] constructors Raoul Duke
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Raoul Duke
  • Re: [bitc-dev] constructors Matt Rice
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Sandro Magi
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Matt Rice
  • Re: [bitc-dev] constructors Matt Rice
  • Re: [bitc-dev] constructors Raoul Duke
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Sandro Magi
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Raoul Duke
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Raoul Duke
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Raoul Duke
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Raoul Duke
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Eric Northup
  • Re: [bitc-dev] constructors Sandro Magi
  • Re: [bitc-dev] constructors Raoul Duke
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors William ML Leslie
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Matt Oliveri
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Matt Oliveri
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Matt Oliveri
  • Re: [bitc-dev] constructors Matt Oliveri
  • Re: [bitc-dev] constructors Matt Rice
  • Re: [bitc-dev] constructors Matt Rice
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Jonathan S. Shapiro
  • Re: [bitc-dev] constructors Matt Rice
• [bitc-dev] extensible proof checkers Geoffrey Irving
  • Re: [bitc-dev] extensible proof checkers Matt Oliveri
• [bitc-dev] how to avoid hand waving Raoul Duke
  • Re: [bitc-dev] how to avoid hand waving David Jeske
  • Re: [bitc-dev] how to avoid hand waving Jonathan S. Shapiro
  • Re: [bitc-dev] how to avoid hand waving Raoul Duke
  • Re: [bitc-dev] how to avoid hand waving David Jeske
  • Re: [bitc-dev] how to avoid hand waving Jonathan S. Shapiro
• [bitc-dev] Silly blog question Jonathan S. Shapiro
  • Re: [bitc-dev] Silly blog question Alex Burr
• [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Geoffrey Irving
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Geoffrey Irving
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) David Jeske
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Rice
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) David Jeske
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) William ML Leslie
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
  • Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri

• Earlier messages
• Later messages