1![Reasoning about Object Capabilities with Logical Relations and Effect Parametricity (EuroS&P 2016, Saarbrücken) Dominique Devriese1 , Frank Piessens1 , Lars Birkedal2 1 2 Reasoning about Object Capabilities with Logical Relations and Effect Parametricity (EuroS&P 2016, Saarbrücken) Dominique Devriese1 , Frank Piessens1 , Lars Birkedal2 1 2](https://www.pdfsearch.io/img/7e48d0559f817b7e9007275c8970c1f3.jpg) | Add to Reading ListSource URL: proglang.informatik.uni-freiburg.de- Date: 2017-10-04 11:31:53
|
---|
2![Translating Dependency into Parametricity Stephen Tse Steve Zdancewic University of Pennsylvania Translating Dependency into Parametricity Stephen Tse Steve Zdancewic University of Pennsylvania](https://www.pdfsearch.io/img/a4364b0375f174ce07b5d5a79c599413.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2016-10-17 13:13:59
|
---|
3![Notes on Logical Relations and Parametricity Jeremy G. Siek March 24, 2015 These notes are based on Derek Dreyer’s lectures at the 2015 Oregon Programming Languages Summer School. T ::= Int | Bool | String | . . . | α Notes on Logical Relations and Parametricity Jeremy G. Siek March 24, 2015 These notes are based on Derek Dreyer’s lectures at the 2015 Oregon Programming Languages Summer School. T ::= Int | Bool | String | . . . | α](https://www.pdfsearch.io/img/a94e99fd63995cb687945efad6cc3b37.jpg) | Add to Reading ListSource URL: dl.dropboxusercontent.com |
---|
4![Parametricity-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Parametricity-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander](https://www.pdfsearch.io/img/e9f90b65126d9e70008692d81d705d38.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.eu- Date: 2016-08-24 08:10:28
|
---|
5![Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden](https://www.pdfsearch.io/img/33ec561496f7b0b4b83a48179cc89eb6.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:11
|
---|
6![New Applications of Parametricity Janis Voigtl¨ander Technische Universit¨ at Dresden ISS-AiPL’09 New Applications of Parametricity Janis Voigtl¨ander Technische Universit¨ at Dresden ISS-AiPL’09](https://www.pdfsearch.io/img/fd3344247b205931567929d37c908225.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:10
|
---|
7![Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel†](https://www.pdfsearch.io/img/442ff1486b0428320cb6833e58dd7e5d.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2014-12-08 09:42:38
|
---|
8![Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014](https://www.pdfsearch.io/img/9531a74eba3ac67eeef05789d3d8d8cd.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:10
|
---|
9![Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell](https://www.pdfsearch.io/img/6c4fd337356da57d4adac2f8781ef759.jpg) | Add to Reading ListSource URL: www4.in.tum.deLanguage: English - Date: 2008-04-14 08:10:31
|
---|
10![Internalizing Relational Parametricity in the Extensional Calculus of Constructions (Technical Appendix) Neelakantan R. Krishnaswami Derek Dreyer April 2013 Internalizing Relational Parametricity in the Extensional Calculus of Constructions (Technical Appendix) Neelakantan R. Krishnaswami Derek Dreyer April 2013](https://www.pdfsearch.io/img/d0b7b230cd9559dd0b81c9c1edb91e5d.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2013-04-16 04:33:56
|
---|