PL Club Blog https://www.cis.upenn.edu/~plclub/ Thu, 07 Dec 2023 00:00:00 UT Exploring Round-trip Properties in Property-based Testing https://www.cis.upenn.edu/~plclub//blog/2023-12-07-round-trip-properties/ Thu, 07 Dec 2023 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2023-12-07-round-trip-properties/ UPenn PL Club Formalizing Permutation Networks https://www.cis.upenn.edu/~plclub//blog/2021-09-10-permnets/ Fri, 10 Sep 2021 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2021-09-10-permnets/ UPenn PL Club Do we need nested datatypes? https://www.cis.upenn.edu/~plclub//blog/2020-12-04-nested-datatypes/ Fri, 04 Dec 2020 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2020-12-04-nested-datatypes/ UPenn PL Club Tutorial: Verify Haskell Programs with hs-to-coq https://www.cis.upenn.edu/~plclub//blog/2020-10-09-hs-to-coq/ Fri, 09 Oct 2020 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2020-10-09-hs-to-coq/ UPenn PL Club Strongly-typed System F in GHC https://www.cis.upenn.edu/~plclub//blog/2020-06-26-Strongly-typed-System-F/ Fri, 26 Jun 2020 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2020-06-26-Strongly-typed-System-F/ UPenn PL Club Testing your Tests https://www.cis.upenn.edu/~plclub//blog/2020-05-29-mutagen/ Fri, 29 May 2020 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2020-05-29-mutagen/ UPenn PL Club Welcome to the PL Club Blog! https://www.cis.upenn.edu/~plclub//blog/2020-05-15-Welcome/ Fri, 15 May 2020 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2020-05-15-Welcome/ UPenn PL Club R E S P E C T - Find Out What It Means To The Coq Standard Library https://www.cis.upenn.edu/~plclub//blog/2020-05-15-Rewriting-in-Coq/ Fri, 15 May 2020 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2020-05-15-Rewriting-in-Coq/ UPenn PL Club Defunctionalize the Continuation https://www.cis.upenn.edu/~plclub//blog/2020-05-15-Defunctionalize-the-Continuation/ Fri, 15 May 2020 00:00:00 UT https://www.cis.upenn.edu/~plclub//blog/2020-05-15-Defunctionalize-the-Continuation/ UPenn PL Club