PL Club Bloghttps://www.cis.upenn.edu/~plclub//atom.xmlUPenn PL Clubno email address2023-12-07T00:00:00ZExploring Round-trip Properties in Property-based Testinghttps://www.cis.upenn.edu/~plclub//blog/2023-12-07-round-trip-properties/2023-12-07T00:00:00Z2023-12-07T00:00:00ZFormalizing Permutation Networkshttps://www.cis.upenn.edu/~plclub//blog/2021-09-10-permnets/2021-09-10T00:00:00Z2021-09-10T00:00:00ZDo we need nested datatypes?https://www.cis.upenn.edu/~plclub//blog/2020-12-04-nested-datatypes/2020-12-04T00:00:00Z2020-12-04T00:00:00ZTutorial: Verify Haskell Programs with hs-to-coqhttps://www.cis.upenn.edu/~plclub//blog/2020-10-09-hs-to-coq/2020-10-09T00:00:00Z2020-10-09T00:00:00ZStrongly-typed System F in GHChttps://www.cis.upenn.edu/~plclub//blog/2020-06-26-Strongly-typed-System-F/2020-06-26T00:00:00Z2020-06-26T00:00:00ZTesting your Testshttps://www.cis.upenn.edu/~plclub//blog/2020-05-29-mutagen/2020-05-29T00:00:00Z2020-05-29T00:00:00ZWelcome to the PL Club Blog!https://www.cis.upenn.edu/~plclub//blog/2020-05-15-Welcome/2020-05-15T00:00:00Z2020-05-15T00:00:00ZR E S P E C T - Find Out What It Means To The Coq Standard Libraryhttps://www.cis.upenn.edu/~plclub//blog/2020-05-15-Rewriting-in-Coq/2020-05-15T00:00:00Z2020-05-15T00:00:00ZDefunctionalize the Continuationhttps://www.cis.upenn.edu/~plclub//blog/2020-05-15-Defunctionalize-the-Continuation/2020-05-15T00:00:00Z2020-05-15T00:00:00Z