_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > ACM SIGPLAN

ACM SIGPLAN	9410 subscribers    RSS
View channel on YouTube Videos Playlists

YT 27 minutes 23 seconds ACM SIGPLAN [TyDe24] Towards Type-Directed API Search for Mainstream Languages YT 20 minutes 19 seconds ACM SIGPLAN [TyDe24] Term Search in Rust YT 22 minutes 45 seconds ACM SIGPLAN [TyDe24] Typed, Concise, Nanopass (pick 3) (Extended Abstract)

YT 23 minutes 16 seconds ACM SIGPLAN [TyDe24] Normalizable types YT 20 minutes 1 second ACM SIGPLAN [TyDe24] First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract) YT 19 minutes 31 seconds ACM SIGPLAN [TyDe24] Modal Mu-Calculus for Free in Agda

YT 20 minutes 2 seconds ACM SIGPLAN [TyDe24] Type-level Property Based Testing YT 22 minutes 55 seconds ACM SIGPLAN [TyDe24] How Novices Perceive Interactive Theorem Provers (Extended Abstract) YT 20 minutes 36 seconds ACM SIGPLAN [TyDe24] Dependent Types to Push Corners of the Property-based Testing (Extended Abstract)

YT 21 minutes 54 seconds ACM SIGPLAN [TyDe24] A Type- And Control- Flow Analysis for System FC (Extended Abstract)