bitc-dev  

Messages by Date

• 2015/01/07 Re: [bitc-dev] separate compilation with dependent types Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] separate compilation with dependent types Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Raoul Duke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Raoul Duke
• 2015/01/07 Re: [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2015/01/05 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2015/01/04 Re: [bitc-dev] terminology: readonly vs. writeable Matt Oliveri
• 2015/01/04 Re: [bitc-dev] terminology: readonly vs. writeable Matt Oliveri
• 2015/01/04 Re: [bitc-dev] Is mutability inference useful? Matt Oliveri
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/02 Re: [bitc-dev] separate compilation with dependent types Matt Oliveri
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/02 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/01 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/01 Re: [bitc-dev] Instance Coherence Revisited William ML Leslie
• 2015/01/01 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/01 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/01 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/01 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2015/01/01 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2015/01/01 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2014/12/31 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2014/12/31 [bitc-dev] separate compilation with dependent types Geoffrey Irving
• 2014/12/31 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2014/12/31 Re: [bitc-dev] Instance Coherence Revisited Keean Schupke
• 2014/12/31 Re: [bitc-dev] Instance Coherence Revisited Geoffrey Irving
• 2014/12/31 [bitc-dev] Instance Coherence Revisited Jonathan S. Shapiro
• 2014/12/31 [bitc-dev] [email protected] Keean Schupke
• 2014/12/31 Re: [bitc-dev] parametric-instantiation of static mixins? David Jeske
• 2014/12/30 Re: [bitc-dev] parametric-instantiation of static mixins? Jonathan S. Shapiro
• 2014/12/30 Re: [bitc-dev] [SPAM] Anonymous records as [nearly] first-class environments Sandro Magi
• 2014/12/29 Re: [bitc-dev] Regions and unboxing Gabriel Dos Reis
• 2014/12/29 [bitc-dev] parametric-instantiation of static mixins? David Jeske
• 2014/12/29 [bitc-dev] Comparing F# and BitC Jonathan S. Shapiro
• 2014/12/28 Re: [bitc-dev] Regions and unboxing William ML Leslie
• 2014/12/28 Re: [bitc-dev] Thoughts on F# 3.0 Matt Oliveri
• 2014/12/28 Re: [bitc-dev] Thoughts on F# 3.0 Matt Oliveri
• 2014/12/28 Re: [bitc-dev] Thoughts on F# 3.0 Matt Oliveri
• 2014/12/28 Re: [bitc-dev] Thoughts on F# 3.0 David Jeske
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 David Jeske
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Matt Oliveri
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Matt Oliveri
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] Anonymous records as [nearly] first-class environments Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Matt Oliveri
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] Anonymous records as [nearly] first-class environments Matt Oliveri
• 2014/12/27 Re: [bitc-dev] F# Genericity Matt Oliveri
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 David Jeske
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 David Jeske
• 2014/12/27 Re: [bitc-dev] F# Genericity Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] terminology: readonly vs. writeable Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] Anonymous records as [nearly] first-class environments Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] F# Genericity Matt Oliveri
• 2014/12/27 [bitc-dev] terminology: readonly vs. writeable Geoffrey Irving
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Matt Oliveri
• 2014/12/27 Re: [bitc-dev] Anonymous records as [nearly] first-class environments Matt Oliveri
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Jonathan S. Shapiro
• 2014/12/27 [bitc-dev] F# Genericity Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] Thoughts on F# 3.0 Matt Oliveri
• 2014/12/27 [bitc-dev] Anonymous records as [nearly] first-class environments Jonathan S. Shapiro
• 2014/12/27 Re: [bitc-dev] Dependent type grammars Jonathan S. Shapiro
• 2014/12/26 Re: [bitc-dev] Thoughts on F# 3.0 Jonathan S. Shapiro
• 2014/12/26 Re: [bitc-dev] Thoughts on F# 3.0 David Jeske
• 2014/12/26 [bitc-dev] Thoughts on F# 3.0 Jonathan S. Shapiro
• 2014/12/26 [bitc-dev] Regions and unboxing Jonathan S. Shapiro
• 2014/12/25 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/25 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/25 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/25 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/25 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/25 Re: [bitc-dev] Is mutability inference useful? Matt Oliveri
• 2014/12/25 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/24 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Matt Oliveri
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Geoffrey Irving
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Matt Oliveri
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Matt Oliveri
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Geoffrey Irving
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Geoffrey Irving
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Geoffrey Irving
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? William ML Leslie
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Geoffrey Irving
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Geoffrey Irving
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Geoffrey Irving
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Eric Northup
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Matt Rice
• 2014/12/23 Re: [bitc-dev] Is mutability inference useful? Geoffrey Irving
• 2014/12/23 [bitc-dev] Is mutability inference useful? Jonathan S. Shapiro
• 2014/12/23 Re: [bitc-dev] Interesting developments in LLVM Jonathan S. Shapiro
• 2014/12/22 Re: [bitc-dev] Interesting developments in LLVM Ben Kloosterman
• 2014/12/22 [bitc-dev] Interesting developments in LLVM Jonathan S. Shapiro
• 2014/10/29 Re: [bitc-dev] Light Table Ben Kloosterman
• 2014/10/29 Re: [bitc-dev] Light Table David Jeske
• 2014/10/29 Re: [bitc-dev] Light Table Raoul Duke
• 2014/10/29 Re: [bitc-dev] Light Table Jonathan S. Shapiro
• 2014/10/28 Re: [bitc-dev] Light Table Ryan Prior
• 2014/10/28 [bitc-dev] Light Table Jonathan S. Shapiro
• 2014/10/24 Re: [bitc-dev] BitC Strings and Unicode Ben Kloosterman
• 2014/10/21 Re: [bitc-dev] BitC Strings and Unicode Jonathan S. Shapiro
• 2014/10/21 Re: [bitc-dev] BitC Strings and Unicode Jonathan S. Shapiro
• 2014/10/20 Re: [bitc-dev] BitC Strings and Unicode Ben Kloosterman
• 2014/10/20 Re: [bitc-dev] BitC Strings and Unicode William ML Leslie
• 2014/10/20 Re: [bitc-dev] BitC Strings and Unicode Ben Kloosterman
• 2014/10/20 Re: [bitc-dev] BitC Strings and Unicode Jonathan S. Shapiro
• 2014/10/20 Re: [bitc-dev] BitC Strings and Unicode Jonathan S. Shapiro
• 2014/10/20 Re: [bitc-dev] BitC Strings and Unicode William ML Leslie
• 2014/10/15 Re: [bitc-dev] BitC Strings and Unicode Ben Kloosterman
• 2014/10/15 [bitc-dev] BitC Strings and Unicode Jonathan S. Shapiro
• 2014/10/14 Re: [bitc-dev] best algorithms / libraries for parsing ambiguous grammars Geoffrey Irving
• 2014/10/14 Re: [bitc-dev] best algorithms / libraries for parsing ambiguous grammars Sandro Magi
• 2014/10/14 Re: [bitc-dev] best algorithms / libraries for parsing ambiguous grammars Jonathan S. Shapiro
• 2014/10/14 Re: [bitc-dev] best algorithms / libraries for parsing ambiguous grammars Geoffrey Irving
• 2014/10/14 Re: [bitc-dev] best algorithms / libraries for parsing ambiguous grammars Jonathan S. Shapiro
• 2014/10/14 Re: [bitc-dev] best algorithms / libraries for parsing ambiguous grammars Jonathan S. Shapiro
• 2014/10/14 [bitc-dev] best algorithms / libraries for parsing ambiguous grammars Geoffrey Irving
• 2014/09/21 Re: [bitc-dev] Front end phase distinctions - good or bad? Ben Kloosterman
• 2014/09/21 Re: [bitc-dev] Front end phase distinctions - good or bad? Valerio Bellizzomi
• 2014/09/20 Re: [bitc-dev] BitC Status Jonathan S. Shapiro
• 2014/09/20 [bitc-dev] BitC Status Ahmad Khayyat
• 2014/09/09 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/09 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/07 Re: [bitc-dev] Why is shap farting around with parser generators? Jonathan S. Shapiro
• 2014/09/07 Re: [bitc-dev] Why is shap farting around with parser generators? Jonathan S. Shapiro
• 2014/09/07 Re: [bitc-dev] Why is shap farting around with parser generators? David Jeske
• 2014/09/07 Re: [bitc-dev] Why is shap farting around with parser generators? Ben Kloosterman
• 2014/09/07 Re: [bitc-dev] Front end phase distinctions - good or bad? Ben Kloosterman
• 2014/09/06 Re: [bitc-dev] Why is shap farting around with parser generators? Jonathan S. Shapiro
• 2014/09/06 Re: [bitc-dev] Why is shap farting around with parser generators? Matt Oliveri
• 2014/09/06 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/06 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/06 Re: [bitc-dev] Why is shap farting around with parser generators? Jonathan S. Shapiro
• 2014/09/06 Re: [bitc-dev] Front end phase distinctions - good or bad? William ML Leslie
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Ben Kloosterman
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Gabriel Dos Reis
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Gabriel Dos Reis
• 2014/09/05 Re: [bitc-dev] Why is shap farting around with parser generators? Ben Kloosterman
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Geoffrey Irving
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/05 Re: [bitc-dev] Generalizing discriminated type Jonathan S. Shapiro
• 2014/09/05 Re: [bitc-dev] Generalizing discriminated type Jon Zeppieri
• 2014/09/05 [bitc-dev] Why is shap farting around with parser generators? Jonathan S. Shapiro
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Geoffrey Irving
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Geoffrey Irving
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Geoffrey Irving
• 2014/09/05 Re: [bitc-dev] Front end phase distinctions - good or bad? Jonathan S. Shapiro

• Earlier messages
• Later messages