display_name: PL-Sky
description: A programming languages research BlueSky Feed.  Maintained by @kirancodes.me 
  
  Tracks main PL conferences (PLDI, ICFP, OOPLSA, POPL), plus other PL related keywords and tags.
  
  Please reach out if you have any comments or suggestions~
additional_fields: {"skyfeedBuilder":{"blocks":[{"id":"aaaapylpbqsgm","type":"input","inputType":"firehose"},{"id":"aaaapvd5gfsc4","type":"remove","value":"hellthread","subject":"item"},{"id":"aaaapvd5gfpaa","type":"regex","value":"programming languages|\\b(pldi|PLDI|icfp|ICFP|popl|POPL|padl|PADL|PACM|pacm|SIGPLAN|sigplan|hopl|HOPL|ICSE|icse)\\b|\\b(rocq|coq|ocaml|haskell|agda|arend|prolog|f star|OCaml|Haskell|Arend|Agda|Koka|mlton|MLton)\\b|type theory|homotopy|category theory|functional programming|functional pearl|compilers|type inference|formal verification|formal methods|proof assistant|algebraic data type|recursion|lambda gang|lambda|hindley milner|HM Type Inference|hm type inference|Lambda Gang|affine types|linear types|Affine type|Linear type|Formal verification|Formal Verification|Formal Methods|RacketLang","target":"text|link","caseSensitive":true},{"id":"aaaa6js3gca4q","type":"regex","value":"entrepreneur|AWS lambda|shampoo|sokenzan|slamda|news.ycombinator","invert":true,"target":"text|link","caseSensitive":false},{"id":"aaaapvd5ghvhg","type":"sort","sortType":"created_at"}],"license":"EUPL-1.2","displayName":"PL-Sky"}}