Philip Wadler
AuthID: R-00H-82B
1
TÃTULO: Featherweight Go
AUTORES: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, NÚMERO: OOPSLA
AUTORES: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, NÚMERO: OOPSLA
2
TÃTULO: Gradual session types
AUTORES: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
AUTORES: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
INDEXADO EM:
WOS
DBLP


3
TÃTULO: Gradual Session Types PDF
AUTORES: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1809.05649
AUTORES: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1809.05649
INDEXADO EM:
DBLP
arXiv


4
TÃTULO: Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
AUTORES: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLICAÇÃO: 2017, FONTE: Dagstuhl Reports, VOLUME: 7, NÚMERO: 1
AUTORES: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLICAÇÃO: 2017, FONTE: Dagstuhl Reports, VOLUME: 7, NÚMERO: 1
INDEXADO EM:
DBLP

5
TÃTULO: Gradual session types
AUTORES: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2017, FONTE: PACMPL, VOLUME: 1, NÚMERO: ICFP
AUTORES: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2017, FONTE: PACMPL, VOLUME: 1, NÚMERO: ICFP
INDEXADO EM:
Scopus
DBLP


6
TÃTULO: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
AUTORES: Masami Hagiya; Philip Wadler;
PUBLICAÇÃO: 2006, FONTE: FLOPS, VOLUME: 3945
AUTORES: Masami Hagiya; Philip Wadler;
PUBLICAÇÃO: 2006, FONTE: FLOPS, VOLUME: 3945
INDEXADO EM:
DBLP

7
TÃTULO: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
AUTORES: Verónica Dahl; Philip Wadler;
PUBLICAÇÃO: 2003, FONTE: PADL, VOLUME: 2562
AUTORES: Verónica Dahl; Philip Wadler;
PUBLICAÇÃO: 2003, FONTE: PADL, VOLUME: 2562
INDEXADO EM:
DBLP
