bitc-dev  

Messages by Date

• 2014/09/05 [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/05 [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Generalizing discriminated type Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Generalizing discriminated type Jon Zeppieri
• 2014/09/04 Re: [bitc-dev] Generalizing discriminated type Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Heterogeneous vectors Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Jon Zeppieri
• 2014/09/04 Re: [bitc-dev] Heterogeneous vectors Geoffrey Irving
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Generalizing discriminated type Jon Zeppieri
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Jon Zeppieri
• 2014/09/04 [bitc-dev] Generalizing discriminated type Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Heterogeneous vectors Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Heterogeneous vectors Pal Engstad
• 2014/09/04 [bitc-dev] Heterogeneous vectors Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Geoffrey Irving
• 2014/09/04 [bitc-dev] Union leg case analysis Jonathan S. Shapiro
• 2014/09/04 Re: [bitc-dev] Type question: a concrete example Raoul Duke
• 2014/09/04 [bitc-dev] Union leg case analysis Jonathan S. Shapiro
• 2014/09/04 [bitc-dev] Type question: a concrete example Jonathan S. Shapiro
• 2014/08/13 [bitc-dev] Test of email Jonathan S. Shapiro
• 2014/08/04 Re: [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
• 2014/08/04 Re: [bitc-dev] GC, owning, and induction proved removal contracts Matt Oliveri
• 2014/08/04 Re: [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
• 2014/08/04 Re: [bitc-dev] Contributing code Matt Rice
• 2014/08/04 [bitc-dev] Contributing code Jonathan S. Shapiro
• 2014/08/04 Re: [bitc-dev] GC, owning, and induction proved removal contracts Jonathan S. Shapiro
• 2014/08/04 Re: [bitc-dev] ot: who is working on gcs? William ML Leslie
• 2014/08/04 Re: [bitc-dev] ot: who is working on gcs? David Jeske
• 2014/08/04 Re: [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
• 2014/08/03 Re: [bitc-dev] ot: who is working on gcs? Ben Kloosterman
• 2014/08/03 Re: [bitc-dev] ot: who is working on gcs? Matt Rice
• 2014/08/03 Re: [bitc-dev] ot: who is working on gcs? Jonathan S. Shapiro
• 2014/08/02 Re: [bitc-dev] GC, owning, and induction proved removal contracts Matt Oliveri
• 2014/08/02 Re: [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
• 2014/08/02 Re: [bitc-dev] GC, owning, and induction proved removal contracts Matt Oliveri
• 2014/08/02 [bitc-dev] GC, owning, and induction proved removal contracts David Jeske
• 2014/08/01 Re: [bitc-dev] ot: who is working on gcs? David Jeske
• 2014/08/01 [bitc-dev] ot: who is working on gcs? Raoul Duke
• 2014/07/28 Re: [bitc-dev] random complaint about extant reflection Raoul Duke
• 2014/07/28 Re: [bitc-dev] random complaint about extant reflection Jonathan S. Shapiro
• 2014/07/28 Re: [bitc-dev] random complaint about extant reflection Raoul Duke
• 2014/07/28 Re: [bitc-dev] random complaint about extant reflection Jonathan S. Shapiro
• 2014/07/28 Re: [bitc-dev] random complaint about extant reflection Raoul Duke
• 2014/07/28 Re: [bitc-dev] reminder to self: grok this Raoul Duke
• 2014/07/28 [bitc-dev] Ur: Statically-Typed Metaprogramming with Type-Level Record Computation Sandro Magi
• 2014/07/27 Re: [bitc-dev] better gc? Sandro Magi
• 2014/07/27 Re: [bitc-dev] random complaint about extant reflection William ML Leslie
• 2014/07/27 Re: [bitc-dev] random complaint about extant reflection Jonathan S. Shapiro
• 2014/07/27 Re: [bitc-dev] random complaint about extant reflection William ML Leslie
• 2014/07/27 Re: [bitc-dev] reminder to self: grok this Jonathan S. Shapiro
• 2014/07/27 Re: [bitc-dev] random complaint about extant reflection Jonathan S. Shapiro
• 2014/07/26 Re: [bitc-dev] random complaint about extant reflection William ML Leslie
• 2014/07/26 Re: [bitc-dev] random complaint about extant reflection William ML Leslie
• 2014/07/25 Re: [bitc-dev] random complaint about extant reflection Raoul Duke
• 2014/07/25 Re: [bitc-dev] random complaint about extant reflection David Jeske
• 2014/07/25 [bitc-dev] random complaint about extant reflection Raoul Duke
• 2014/07/25 [bitc-dev] drifting OT wrt BitC (Re: better gc?) Raoul Duke
• 2014/07/25 Re: [bitc-dev] better gc? Raoul Duke
• 2014/07/25 Re: [bitc-dev] better gc? David Jeske
• 2014/07/25 Re: [bitc-dev] better gc? Jonathan S. Shapiro
• 2014/07/25 Re: [bitc-dev] better gc? Jonathan S. Shapiro
• 2014/07/25 Re: [bitc-dev] better gc? Raoul Duke
• 2014/07/25 Re: [bitc-dev] better gc? Raoul Duke
• 2014/07/25 Re: [bitc-dev] better gc? Jonathan S. Shapiro
• 2014/07/25 Re: [bitc-dev] gc Raoul Duke
• 2014/07/25 Re: [bitc-dev] gc Raoul Duke
• 2014/07/24 Re: [bitc-dev] better gc? Raoul Duke
• 2014/07/24 Re: [bitc-dev] better gc? Sandro Magi
• 2014/07/24 Re: [bitc-dev] better gc? David Jeske
• 2014/07/24 Re: [bitc-dev] better gc? Sandro Magi
• 2014/07/23 Re: [bitc-dev] better gc? David Jeske
• 2014/07/23 [bitc-dev] better gc? Raoul Duke
• 2014/07/23 [bitc-dev] reminder to self: grok this Raoul Duke
• 2014/07/23 Re: [bitc-dev] constructors Eric Northup
• 2014/07/22 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/22 Re: [bitc-dev] constructors Matt Rice
• 2014/07/22 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/22 Re: [bitc-dev] constructors Sandro Magi
• 2014/07/22 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/22 Re: [bitc-dev] constructors Raoul Duke
• 2014/07/22 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/22 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/22 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/22 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/22 Re: [bitc-dev] constructors Matt Rice
• 2014/07/21 Re: [bitc-dev] constructors Matt Oliveri
• 2014/07/21 Re: [bitc-dev] constructors Raoul Duke
• 2014/07/21 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/21 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/21 Re: [bitc-dev] constructors Raoul Duke
• 2014/07/21 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/21 Re: [bitc-dev] constructors Raoul Duke
• 2014/07/21 Re: [bitc-dev] constructors Matt Rice
• 2014/07/21 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/21 Re: [bitc-dev] constructors Matt Oliveri
• 2014/07/21 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/21 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/21 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/21 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/21 Re: [bitc-dev] constructors Raoul Duke
• 2014/07/21 Re: [bitc-dev] constructors Sandro Magi
• 2014/07/21 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/21 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/21 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/21 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/21 Re: [bitc-dev] constructors Matt Oliveri
• 2014/07/21 Re: [bitc-dev] constructors Matt Oliveri
• 2014/07/20 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/20 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/20 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/20 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/20 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/20 Re: [bitc-dev] constructors William ML Leslie
• 2014/07/20 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/20 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/20 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/16 Re: [bitc-dev] constructors Sandro Magi
• 2014/07/16 Re: [bitc-dev] constructors Raoul Duke
• 2014/07/16 Re: [bitc-dev] constructors Matt Rice
• 2014/07/16 Re: [bitc-dev] constructors Matt Rice
• 2014/07/16 Re: [bitc-dev] constructors Matt Rice
• 2014/07/15 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/15 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/15 Re: [bitc-dev] constructors Raoul Duke
• 2014/07/15 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/15 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/15 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/15 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/15 [bitc-dev] cayenne: another mixed type/value syntax language Geoffrey Irving
• 2014/07/15 [bitc-dev] Liquid Types Sandro Magi
• 2014/07/14 Re: [bitc-dev] constructors Raoul Duke
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/14 Re: [bitc-dev] constructors Geoffrey Irving
• 2014/07/14 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/14 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/14 Re: [bitc-dev] constructors Matt Rice
• 2014/07/14 Re: [bitc-dev] constructors Jonathan S. Shapiro
• 2014/07/14 [bitc-dev] constructors Matt Rice
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) David Jeske
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/14 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/13 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/13 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Rice
• 2014/07/13 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/13 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) David Jeske
• 2014/07/13 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/13 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/13 Re: [bitc-dev] Reflection, generics/polytypic programming (was: Checked downcast and rights amplification) Jonathan S. Shapiro
• 2014/07/12 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) William ML Leslie
• 2014/07/12 Re: [bitc-dev] Reflection, generics/polytypic programming (was: Checked downcast and rights amplification) Matt Rice
• 2014/07/12 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/12 Re: [bitc-dev] Reflection, generics/polytypic programming (was: Checked downcast and rights amplification) Jonathan S. Shapiro
• 2014/07/12 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
• 2014/07/11 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/11 Re: [bitc-dev] how to avoid hand waving Jonathan S. Shapiro
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) William ML Leslie
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Geoffrey Irving
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/10 Re: [bitc-dev] extensible proof checkers Matt Oliveri
• 2014/07/10 Re: [bitc-dev] Reflection, generics/polytypic programming (was: Checked downcast and rights amplification) Geoffrey Irving
• 2014/07/10 Re: [bitc-dev] how to avoid hand waving David Jeske
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Geoffrey Irving
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) David Jeske
• 2014/07/10 [bitc-dev] extensible proof checkers Geoffrey Irving
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Raoul Duke
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Matt Oliveri
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/10 Re: [bitc-dev] should anybody be so kind/bored (Re: Interfaces in BitC) Jonathan S. Shapiro
• 2014/07/10 Re: [bitc-dev] how to avoid hand waving Raoul Duke
• 2014/07/10 Re: [bitc-dev] Reflection, generics/polytypic programming Matt Oliveri
• 2014/07/10 Re: [bitc-dev] how to avoid hand waving Jonathan S. Shapiro
• 2014/07/10 Re: [bitc-dev] how to avoid hand waving David Jeske
• 2014/07/10 [bitc-dev] how to avoid hand waving Raoul Duke

• Earlier messages
• Later messages