4:43Charles Hoskinson on Refinement Types and Plutus the Smart Contract Programming LanguageHOSKsCLIPS: After Midnight151 viewsView & Download
45:39[PLMW@POPL'24] Refinement Types from Light to Deep VerificationACM SIGPLAN240 viewsView & Download
23:00Refinement Kinds: Type-Safe Programming with Practical Type-Level ComputationACM SIGPLAN338 viewsView & Download
20:03Securing web applications without slowing your pace of innovationGoogle Cloud Tech4.2K viewsView & Download