diff --git a/data/TFP/2004/tfp2004-pc.txt b/data/TFP/2004/tfp2004-pc.txt index 3ae5fb0..5b569b0 100644 --- a/data/TFP/2004/tfp2004-pc.txt +++ b/data/TFP/2004/tfp2004-pc.txt @@ -6,7 +6,7 @@ John Hughes Rita Loogen Greg Michaelson John O'Donnell -Ricardo Pena +Ricardo Peña Philip W. Trinder Marko van Eekelen Philip Wadler diff --git a/data/TFP/2007/tfp2007-pc.txt b/data/TFP/2007/tfp2007-pc.txt index 0dcffeb..a1f0497 100644 --- a/data/TFP/2007/tfp2007-pc.txt +++ b/data/TFP/2007/tfp2007-pc.txt @@ -10,7 +10,7 @@ Greg Michaelson Henrik Nilsson Chris Okasaki Rex Page -Ricardo Pena +Ricardo Peña Benjamin C. Pierce John Reppy Ulrik P. Schultz diff --git a/data/TFP/2009/tfp2009-pc.txt b/data/TFP/2009/tfp2009-pc.txt index d532837..3895c27 100644 --- a/data/TFP/2009/tfp2009-pc.txt +++ b/data/TFP/2009/tfp2009-pc.txt @@ -1,4 +1,4 @@ -P:Zoltán Horvath +P:Zoltán Horváth P:Viktória Zsók Peter Achten John Clements diff --git a/data/TFP/2010/tfp2010-pc.txt b/data/TFP/2010/tfp2010-pc.txt index aea52e6..3ea6a18 100644 --- a/data/TFP/2010/tfp2010-pc.txt +++ b/data/TFP/2010/tfp2010-pc.txt @@ -1,5 +1,5 @@ P:Rex Page -Zoltán Horvath +Zoltán Horváth Viktória Zsók Peter Achten Emil Axelsson diff --git a/data/TFP/2014/tfp2014-pc.txt b/data/TFP/2014/tfp2014-pc.txt index b46de0f..1f92e8b 100644 --- a/data/TFP/2014/tfp2014-pc.txt +++ b/data/TFP/2014/tfp2014-pc.txt @@ -3,7 +3,7 @@ P:Jay McCarthy Peter Achten Emil Axelsson Lucilia Camarao de Figueiredo -Laura Castro +Laura M. Castro Frank Huch Matthew Fluet Yukiyoshi Kameyama @@ -12,12 +12,12 @@ Tamas Kozsik Ben Lippmeier Luc Maranget Marco T. Morazán -Ricardo Pena +Ricardo Peña Alexey Rodriguez Sven-Bodo Scholz Manuel Serrano Simon Thompson Tarmo Uustalu David Van Horn -Janis Voigtlaender +Janis Voigtländer diff --git a/data/TFP/2016/tfp2016-pc.txt b/data/TFP/2016/tfp2016-pc.txt index 592bc57..f9448d6 100644 --- a/data/TFP/2016/tfp2016-pc.txt +++ b/data/TFP/2016/tfp2016-pc.txt @@ -3,7 +3,7 @@ Amal Ahmed Nada Amin Kenichi Asai Malgorzata Biernacka -Laura Castro +Laura M. Castro Ravi Chugh Silvia Ghilezan Clemens Grelck diff --git a/data/TFP/2017/tfp2017-pc.txt b/data/TFP/2017/tfp2017-pc.txt index 5015062..4b53f5f 100644 --- a/data/TFP/2017/tfp2017-pc.txt +++ b/data/TFP/2017/tfp2017-pc.txt @@ -2,7 +2,7 @@ P:Meng Wang P:Scott Owens Jeremy Yallop Nicolas Wu -Laura Castro +Laura M. Castro Gabriel Scherer Edwin Brady Janis Voigtländer diff --git a/data/TFP/2021/tfp2021.html b/data/TFP/2021/tfp2021.html new file mode 100644 index 0000000..4aff7bc --- /dev/null +++ b/data/TFP/2021/tfp2021.html @@ -0,0 +1,32 @@ + + +dblp: TFP 2021 + + + + + + + + + +
+ + +

22nd TFP 2021: Virtual Event

+ + + +
+
+

Refine list

showing all ?? records
+

Nested Parallelism, Semantics, Task-Oriented Programming

Modelling, Translating, Proving Functional Programs

a service of  Schloss Dagstuhl - Leibniz Center for Informatics
+

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

+
+ + diff --git a/data/TFP/2022/tfp2022.html b/data/TFP/2022/tfp2022.html new file mode 100644 index 0000000..392116b --- /dev/null +++ b/data/TFP/2022/tfp2022.html @@ -0,0 +1,32 @@ + + +dblp: TFP 2022 + + + + + + + + + +
+ + +

23rd TFP 2022: Virtual Event

+ + + +
+
+

Refine list

showing all ?? records
+
a service of  Schloss Dagstuhl - Leibniz Center for Informatics
+

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

+
+ + diff --git a/data/TFP/2023/tfp2023.html b/data/TFP/2023/tfp2023.html new file mode 100644 index 0000000..49e7692 --- /dev/null +++ b/data/TFP/2023/tfp2023.html @@ -0,0 +1,32 @@ + + +dblp: TFP 2023 + + + + + + + + + +
+ + +

24th TFP 2023: Boston, MA, USA

+ + + +
+
+

Refine list

showing all ?? records
+
a service of  Schloss Dagstuhl - Leibniz Center for Informatics
+

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

+
+ +