| 
	     You are here  | 
        www.serpentine.com | ||
| | | | | 
            
              joeduffyblog.com
             | 
        |
| | | | | Joe Duffy's Blog | Adventures in the high-tech underbelly | |
| | | | | 
            
              matteo.vaccari.name
             | 
        |
| | | | | ||
| | | | | 
            
              danilafe.com
             | 
        |
| | | | | In this post, I discuss Chapel's runtime types as a limited alternative to dependent types. | |
| | | | | 
            
              kaworu.ch
             | 
        |
| | | |||