Simon J. Gay
AuthID: R-00H-3QT
1
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.08275
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.08275
INDEXED IN: 
DBLP
DBLP2
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP3
TITLE: Duality of Session Types: The Final Cut
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXED IN: Scopus DBLP
Scopus DBLP4
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: Behavioral Types in Programming Languages
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
6
TITLE: MODULAR SESSION TYPES FOR OBJECTS
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2015, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 4
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2015, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: Modular Session Types for Objects PDF
AUTHORS: Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1205.5344
AUTHORS: Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1205.5344
INDEXED IN: DBLP 
arXiv
DBLP arXiv8
TITLE: Linear type theory for asynchronous session types
AUTHORS: Gay, SJ; Vasconcelos, VT ;
PUBLISHED: 2010, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, ISSUE: 1
AUTHORS: Gay, SJ; Vasconcelos, VT ;
PUBLISHED: 2010, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, ISSUE: 1
9
TITLE: Modular session types for distributed object-oriented programming
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef10
TITLE: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009 Full Text
AUTHORS: Alastair R Beresford; Simon J Gay;
PUBLISHED: 2009, SOURCE: PLACES, VOLUME: 17
AUTHORS: Alastair R Beresford; Simon J Gay;
PUBLISHED: 2009, SOURCE: PLACES, VOLUME: 17
INDEXED IN: DBLP CrossRef
DBLP CrossRef