Articles TAS - Propositions

	A	B	C	D	E
1	Type	Conf	Titre	Auteurs	Liens
2	Recherche	POPL	Gradual Algebraic Data Types	Michael Greenberg, Stefan Malewski, Éric Tanter	https://wgt20.irif.fr/wgt20-final91-acmpaginated.pdf
3	Outil	POPL	Verifying concurrent Go code in Coq with Goose	Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich	https://people.csail.mit.edu/nickolai/papers/chajed-goose-coqpl.pdf
4	Recherche	POPL	Gradual Typing for Extensibility by Rows	Taro Sekiyama, Atsushi Igarashi	https://wgt20.irif.fr/wgt20-final35-acmpaginated.pdf
5	Recherche	POPL	A Timed IO Monad	David Janin	https://hal.archives-ouvertes.fr/hal-02389321/document
6	Recherche	ICALP	A tier-based typed programming language characterizing Feasible Functionals	Hainry, Kapron, Marion, and Péchoux	https://hal.inria.fr/hal-02881308/document
7	Recherche	ICALP	Reconciling Noninterference and Gradual Typing	Arthur Azevedo de Amorim, Matt Fredrikson and Limin Jia	http://arthuraa.net/docs/glio-full.pdf
8	Recherche	ICFP	Signature restriction for polymorphic algebraic effects	Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi	https://dl.acm.org/doi/pdf/10.1145/3408999
9	Recherche	ICFP	Liquid Resource Types	Tristan Knoth, Di Wang, Adam Reynolds, Nadia Polikarpova, Jan Hoffmann	https://dl.acm.org/doi/pdf/10.1145/3408988
10	Recherche	ICFP	Elaboration with First-Class Implicit Function Types	Andràs Kovàcs	https://dl.acm.org/doi/pdf/10.1145/3408983
11	Recherche	ICFP	Raising Expectations: Automating Expected Cost Analysis with Types	Di Wang, David M. Kahn, Jan Hoffmann	https://www.cs.cmu.edu/~janh/assets/pdf/WangKH20.pdf
12	Perle	ICFP	The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy	Lionel Parreaux	https://infoscience.epfl.ch/record/278576
13	Recherche	FOSSACS	Decomposing Probabilistic Lambda-Calculi	Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes	https://arxiv.org/abs/2002.08392
14	Recherche	ESOP	ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs	John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi and Naoki Kobayashi	https://www.researchgate.net/publication/339350527_ConSORT_Context-_and_Flow-Sensitive_Ownership_Refinement_Types_for_Imperative_Programs
15	Recherche	OOPSLA	A Type-and-Effect System for Object Initialization	Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky	https://infoscience.epfl.ch/record/273643/files/paper-v4.pdf?version=1
16	Recherche	OOPSLA	Geometry Types for Graphics Programming	Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson	https://www.cs.cornell.edu/~asampson/media/papers/gator-oopsla2020-preprint.pdf
17	Recherche	OOPSLA	Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications	Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser	https://eelcovisser.org/publications/2020/RouvoetAPKV20-ext.pdf
18	Recherche	OOPSLA	Revisiting Iso-Recursive Subtyping	Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao	https://i.cs.hku.hk/~bruno/papers/oopsla20-recursive.pdf
19	Recherche	OOPSLA	Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell	Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou	https://users.soe.ucsc.edu/~lkuper/papers/lh-typeclasses-oopsla20.pdf
20	Recherche	ECOOP	A Type-Directed Operational Semantics for a Calculus with a Merge Operator	Xuejing Huang, Bruno C. d. S. Oliveira	https://i.cs.hku.hk/~bruno/papers/merge_ecoop2020.pdf
21	Recherche	ECOOP	Row and Bounded Polymorphism via Disjoint Polymorphism	Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers	https://i.cs.hku.hk/~bruno/papers/row-bounded_ecoop2020.pdf
22	Recherche	ECOOP	Scala with Explicit Nulls	Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, Justin Pu	https://abeln.github.io/papers/scala-explicit-nulls.pdf
23	Recherche	ECOOP	Space-Efficient Gradual Typing in Coercion-Passing Style	Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi	https://wgt20.irif.fr/wgt20-final25-acmpaginated.pdf
24	Recherche	ECOOP	Static Race Detection and Mutex Safety and Liveness for Go Programs	Julia Gabet, Nobuko Yoshida	https://arxiv.org/pdf/2004.12859v1.pdf
25	Recherche	ECOOP	The Duality of Subtyping	Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman	https://i.cs.hku.hk/~bruno/papers/duo_ecoop2020.pdf
26	Outil	ECOOP	Flow-Sensitive Type-Based Heap Cloning	Mohamad Barbar, Yulei Sui, Shiping Chen	https://yuleisui.github.io/publications/ecoop20.pdf
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100