Philip Wadler
AuthID: R-00H-82B
1
TITLE: Featherweight Go
AUTHORS: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, ISSUE: OOPSLA
AUTHORS: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, ISSUE: OOPSLA
2
TITLE: Gradual session types
AUTHORS: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
AUTHORS: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
INDEXED IN: 
WOS 
DBLP
WOS DBLP3
TITLE: Gradual Session Types PDF
AUTHORS: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.05649
AUTHORS: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.05649
INDEXED IN: DBLP 
arXiv
DBLP arXiv4
TITLE: Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
AUTHORS: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: Dagstuhl Reports, VOLUME: 7, ISSUE: 1
AUTHORS: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: Dagstuhl Reports, VOLUME: 7, ISSUE: 1
INDEXED IN: DBLP
DBLP5
TITLE: Gradual session types
AUTHORS: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLISHED: 2017, SOURCE: PACMPL, VOLUME: 1, ISSUE: ICFP
AUTHORS: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLISHED: 2017, SOURCE: PACMPL, VOLUME: 1, ISSUE: ICFP
INDEXED IN: 
Scopus DBLP
Scopus DBLP6
TITLE: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
AUTHORS: Masami Hagiya; Philip Wadler;
PUBLISHED: 2006, SOURCE: FLOPS, VOLUME: 3945
AUTHORS: Masami Hagiya; Philip Wadler;
PUBLISHED: 2006, SOURCE: FLOPS, VOLUME: 3945
INDEXED IN: DBLP
DBLP7
TITLE: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
AUTHORS: Verónica Dahl; Philip Wadler;
PUBLISHED: 2003, SOURCE: PADL, VOLUME: 2562
AUTHORS: Verónica Dahl; Philip Wadler;
PUBLISHED: 2003, SOURCE: PADL, VOLUME: 2562
INDEXED IN: DBLP
DBLP