bitc-dev  

Messages by Date

• 2015/06/05 Re: [bitc-dev] Refinement types Matt Rice
• 2015/06/05 Re: [bitc-dev] Refinement types Keean Schupke
• 2015/06/05 Re: [bitc-dev] Refinement types Matt Oliveri
• 2015/06/05 Re: [bitc-dev] Refinement types Matt Oliveri
• 2015/06/05 Re: [bitc-dev] Refinement types Matt Rice
• 2015/06/05 Re: [bitc-dev] Refinement types Keean Schupke
• 2015/06/05 Re: [bitc-dev] Refinement types Matt Rice
• 2015/06/05 Re: [bitc-dev] Refinement types Keean Schupke
• 2015/06/05 Re: [bitc-dev] Refinement types Keean Schupke
• 2015/06/05 Re: [bitc-dev] Refinement types Matt Rice
• 2015/06/05 Re: [bitc-dev] Refinement types Keean Schupke
• 2015/06/05 Re: [bitc-dev] Refinement types Matt Rice
• 2015/06/05 Re: [bitc-dev] Refinement types Matt Oliveri
• 2015/06/05 Re: [bitc-dev] Refinement types Matt Oliveri
• 2015/06/04 Re: [bitc-dev] Refinement types Matt Rice
• 2015/06/04 Re: [bitc-dev] Refinement types Keean Schupke
• 2015/06/04 Re: [bitc-dev] Refinement types Matt Rice
• 2015/06/04 Re: [bitc-dev] Refinement types Matt Rice
• 2015/06/04 Re: [bitc-dev] Refinement types Jonathan S. Shapiro
• 2015/06/03 Re: [bitc-dev] Grokking combinators at last Keean Schupke
• 2015/06/03 Re: [bitc-dev] Grokking combinators at last Alex Rozenshteyn
• 2015/06/03 Re: [bitc-dev] Refinement types Matt Oliveri
• 2015/06/03 Re: [bitc-dev] Refinement types Matt Oliveri
• 2015/06/03 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/06/03 Re: [bitc-dev] Grokking combinators at last Jonathan S. Shapiro
• 2015/06/03 Re: [bitc-dev] The fascination of programmatic horror... Jonathan S. Shapiro
• 2015/06/03 Re: [bitc-dev] Grokking combinators at last Keean Schupke
• 2015/06/03 Re: [bitc-dev] The fascination of programmatic horror... Keean Schupke
• 2015/06/03 Re: [bitc-dev] The fascination of programmatic horror... Matt Rice
• 2015/06/03 Re: [bitc-dev] Grokking combinators at last Jonathan S. Shapiro
• 2015/06/03 Re: [bitc-dev] The fascination of programmatic horror... Keean Schupke
• 2015/06/03 Re: [bitc-dev] Grokking combinators at last Keean Schupke
• 2015/06/03 Re: [bitc-dev] The fascination of programmatic horror... Matt Rice
• 2015/06/03 Re: [bitc-dev] Refinement types Jonathan S. Shapiro
• 2015/06/03 Re: [bitc-dev] Refinement types Jonathan S. Shapiro
• 2015/06/03 [bitc-dev] Grokking combinators at last Jonathan S. Shapiro
• 2015/06/03 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/06/03 Re: [bitc-dev] The fascination of programmatic horror... Jonathan S. Shapiro
• 2015/06/02 Re: [bitc-dev] Refinement types Matt Oliveri
• 2015/06/02 Re: [bitc-dev] Refinement types William ML Leslie
• 2015/06/02 Re: [bitc-dev] The fascination of programmatic horror... Geoffrey Irving
• 2015/06/02 [bitc-dev] The fascination of programmatic horror... Jonathan S. Shapiro
• 2015/06/02 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/06/02 Re: [bitc-dev] [SPAM] Re: Threaded types Sandro Magi
• 2015/06/02 Re: [bitc-dev] Refinement types Keean Schupke
• 2015/06/02 [bitc-dev] Refinement types Jonathan S. Shapiro
• 2015/06/02 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/06/02 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/06/02 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/06/01 Re: [bitc-dev] Threaded types Matt Rice
• 2015/06/01 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/06/01 Re: [bitc-dev] Threaded types Matt Rice
• 2015/06/01 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/06/01 Re: [bitc-dev] Threaded types Matt Rice
• 2015/06/01 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/06/01 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/05/31 Re: [bitc-dev] Threaded types Matt Rice
• 2015/05/31 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/05/31 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/05/31 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/05/31 Re: [bitc-dev] Threaded types Keean Schupke
• 2015/05/31 Re: [bitc-dev] Union subgroup types Jonathan S. Shapiro
• 2015/05/31 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/05/31 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/05/30 Re: [bitc-dev] Union subgroup types Matt Oliveri
• 2015/05/30 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/05/30 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/05/30 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/05/30 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/05/30 Re: [bitc-dev] Union subgroup types Jonathan S. Shapiro
• 2015/05/30 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/05/30 Re: [bitc-dev] Union subgroup types Matt Oliveri
• 2015/05/30 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/05/30 Re: [bitc-dev] Union subgroup types Matt Oliveri
• 2015/05/30 Re: [bitc-dev] Threaded types Matt Oliveri
• 2015/05/30 Re: [bitc-dev] Threaded types Keean Schupke
• 2015/05/30 Re: [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/05/30 Re: [bitc-dev] Union subgroup types Jonathan S. Shapiro
• 2015/05/30 [bitc-dev] Union subgroup types Jonathan S. Shapiro
• 2015/05/30 Re: [bitc-dev] Threaded types Keean Schupke
• 2015/05/30 [bitc-dev] Threaded types Jonathan S. Shapiro
• 2015/05/28 [bitc-dev] as seen on LtU Raoul Duke
• 2015/05/23 Re: [bitc-dev] Small idiom question Matt Oliveri
• 2015/05/23 Re: [bitc-dev] Small idiom question Jonathan S. Shapiro
• 2015/05/23 Re: [bitc-dev] Small idiom question Jonathan S. Shapiro
• 2015/05/23 Re: [bitc-dev] Small idiom question Jonathan S. Shapiro
• 2015/05/21 Re: [bitc-dev] binding syntax/semantics question Matt Rice
• 2015/05/20 Re: [bitc-dev] Small idiom question Keean Schupke
• 2015/05/20 Re: [bitc-dev] binding syntax/semantics question Matt Rice
• 2015/05/20 Re: [bitc-dev] binding syntax/semantics question Matt Rice
• 2015/05/20 Re: [bitc-dev] Small idiom question Matt Rice
• 2015/05/20 Re: [bitc-dev] Small idiom question Matt Oliveri
• 2015/05/20 Re: [bitc-dev] Small idiom question Jonathan S. Shapiro
• 2015/05/19 Re: [bitc-dev] binding syntax/semantics question Jonathan S. Shapiro
• 2015/05/18 Re: [bitc-dev] binding syntax/semantics question Matt Oliveri
• 2015/05/18 Re: [bitc-dev] Mutual recursion syntax Geoffrey Irving
• 2015/05/18 Re: [bitc-dev] binding syntax/semantics question Keean Schupke
• 2015/05/18 Re: [bitc-dev] binding syntax/semantics question Jonathan S. Shapiro
• 2015/05/18 Re: [bitc-dev] FParsec and Parser Combinators more generally Jonathan S. Shapiro
• 2015/05/18 Re: [bitc-dev] Mutual recursion syntax Jonathan S. Shapiro
• 2015/05/15 Re: [bitc-dev] Small idiom question Matt Rice
• 2015/05/15 Re: [bitc-dev] Small idiom question Matt Oliveri
• 2015/05/15 Re: [bitc-dev] FParsec and Parser Combinators more generally Matt Rice
• 2015/05/15 Re: [bitc-dev] Small idiom question Matt Rice
• 2015/05/15 [bitc-dev] Small idiom question Jonathan S. Shapiro
• 2015/05/15 Re: [bitc-dev] FParsec and Parser Combinators more generally Keean Schupke
• 2015/05/15 Re: [bitc-dev] FParsec and Parser Combinators more generally Jonathan S. Shapiro
• 2015/05/13 Re: [bitc-dev] FParsec and Parser Combinators more generally Jonathan S. Shapiro
• 2015/05/13 Re: [bitc-dev] FParsec and Parser Combinators more generally Keean Schupke
• 2015/05/13 Re: [bitc-dev] FParsec and Parser Combinators more generally Matt Oliveri
• 2015/05/13 Re: [bitc-dev] FParsec and Parser Combinators more generally Jonathan S. Shapiro
• 2015/05/13 Re: [bitc-dev] FParsec and Parser Combinators more generally Keean Schupke
• 2015/05/13 [bitc-dev] FParsec and Parser Combinators more generally Jonathan S. Shapiro
• 2015/05/13 [bitc-dev] Quick status update Jonathan S. Shapiro
• 2015/05/04 Re: [bitc-dev] Mutual recursion syntax Matt Rice
• 2015/05/04 Re: [bitc-dev] Strata vs Stages in Type Systems Keean Schupke
• 2015/05/04 Re: [bitc-dev] Strata vs Stages in Type Systems William ML Leslie
• 2015/05/04 Re: [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/04 Re: [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/04 Re: [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/04 Re: [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/04 Re: [bitc-dev] Strata vs Stages in Type Systems Keean Schupke
• 2015/05/03 Re: [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/03 Re: [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/03 Re: [bitc-dev] Strata vs Stages in Type Systems Keean Schupke
• 2015/05/03 Re: [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/03 Re: [bitc-dev] Strata vs Stages in Type Systems Keean Schupke
• 2015/05/03 Re: [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/03 Re: [bitc-dev] Strata vs Stages in Type Systems Keean Schupke
• 2015/05/03 [bitc-dev] Strata vs Stages in Type Systems Matt Oliveri
• 2015/05/03 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/03 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/03 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/03 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Keean Schupke
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Matt Rice
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Matt Oliveri
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Keean Schupke
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Matt Rice
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Keean Schupke
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Matt Rice
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Keean Schupke
• 2015/05/03 Re: [bitc-dev] binding syntax/semantics question Keean Schupke
• 2015/05/03 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/02 Re: [bitc-dev] binding syntax/semantics question Matt Rice
• 2015/05/02 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/02 Re: [bitc-dev] Mutual recursion syntax Geoffrey Irving
• 2015/05/02 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/02 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/02 Re: [bitc-dev] binding syntax/semantics question Jonathan S. Shapiro
• 2015/05/02 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem William ML Leslie
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem William ML Leslie
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] binding syntax/semantics question Matt Oliveri
• 2015/05/01 Re: [bitc-dev] binding syntax/semantics question Matt Oliveri
• 2015/05/01 Re: [bitc-dev] binding syntax/semantics question Matt Rice
• 2015/05/01 Re: [bitc-dev] binding syntax/semantics question Raoul Duke
• 2015/05/01 Re: [bitc-dev] binding syntax/semantics question Pal Engstad
• 2015/05/01 Re: [bitc-dev] binding syntax/semantics question Jonathan S. Shapiro
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Jonathan S. Shapiro
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Jonathan S. Shapiro
• 2015/05/01 [bitc-dev] Mutual recursion syntax Jonathan S. Shapiro
• 2015/05/01 Re: [bitc-dev] binding syntax/semantics question Raoul Duke
• 2015/05/01 [bitc-dev] binding syntax/semantics question Jonathan S. Shapiro
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/05/01 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Raoul Duke
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Rice
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Raoul Duke
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Rice
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/30 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Rice
• 2015/04/29 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem William ML Leslie
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Matt Oliveri
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem Keean Schupke
• 2015/04/28 Re: [bitc-dev] Typeclasses vs Implicits and the coherence problem William ML Leslie

• Earlier messages
• Later messages