[HN Gopher] Deriving Dependently-Typed OOP from First Principles
       ___________________________________________________________________
        
       Deriving Dependently-Typed OOP from First Principles
        
       Author : matt_d
       Score  : 21 points
       Date   : 2024-06-23 19:19 UTC (3 hours ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       | grafs50 wrote:
       | Interesting, I wondered what it would even mean to derive a
       | programming paradigm.
        
       ___________________________________________________________________
       (page generated 2024-06-23 23:00 UTC)