Top Tweets for #SessionTypes
We are pleased to introduce Laura Bocchi, senior Lecturer at the @UniKent. Laura will give an overview on recent and ongoing research about writing “good protocols” using #sessiontypes and session types to yield correct implementations.
Tickets: https://t.co/QI8K1gc9BD
📣 Postdoctoral position for 4 years @GlasgowCS with @SimonJGay and Phil Trinder @glasgowGPG on the @EPSRC project STARDUST: #SessionTypes for #Reliable #DistributedSystems
#SoftwareComponents #ActorProgramming
Closing date: 27 April 2020
@FATAglasgow @thompson_si
Recruiting a post-doc for a new EPSRC project: Session Types for Reliable Distributed Systems (Stardust). https://t.co/whRXUPJTsa
. @lauravoin will present her paper "Resource sharing via capability-based #MultiPartySessionTypes" joint work with @OrnelaDardha and @SimonJGay at @iFMconf on 5 Dec 2019
#SessionTypes #CommunicationProtocols #DistributedSystems #ConcurrentProgramming
https://t.co/yeM1W99zc8
Our new PhD student @typer_uma giving a #FATAtalk on her MSc project “Type-checking session-typed π-calculus with Coq” and summarising her provisional plans and roadmap for her PhD with @OrnelaDardha in the @FormalMethodsGU group @GlasgowCS
#SessionTypes
The father of Actor Model of concurrent computation Gul Agha is speaking on temporal coordination of actors @behapi_rise mentioning #sessiontypes that ought to be prescriptive not descriptive
@OrnelaDardha is kicking off the @behapi_rise summer school at Leicester with the course on #SessionTypes! Very busy here with more than 40 transcontinental participants! https://t.co/4ZTtVcuI4s
Check out the videos from #PWLConf 2016! https://t.co/wlayPIEQ2E
Learn more about PWLConf at https://t.co/opFvSyb4M2
#gossip #sessiontypes #ai #networking #bugs #quaternions
My colleague Sung-Shik Jongmans will be presenting our work "Distributed Programming using Role-Parametric Session Types in Go" at #POPL2019 . Follow the POPL live stream https://t.co/8z1B3LrB03 from 5pm! #golang #sessiontypes
"A Rehabilitation of Message-passing Concurrency" by Frank Pfenning #PWLConf2018 - https://t.co/ae6uTla9ST
#concurrency #sessiontypes #types #golang
A taste of #DisCoTec: "Foundations of Coordination
and Contracts and Their Contribution to Session Type Theory"
#coordination #research #sessiontypes
Now at #PWLConf2018 -> Frank Pfenning on A Rehabilitation of Message-Passing Concurrency
https://t.co/FUZp3dUt5D
#concurrency #types #sessiontypes #comsci
Higher-Order Processes, Functions, and Sessions: A Monadic Integration - Toninho, Caires, Pfenning https://t.co/hujK9yZhyJ
#pwlconf2018 #types #sessiontypes #curryhoward #concurrency
Session Types as Intuitionistic Linear Propositions - Caires, Pfenning https://t.co/LDRltQKmFt
#pwlconf2018 #types #sessiontypes #picalculus
Subtyping for Session Types in the Pi Calculus - Gay, Hole https://t.co/ak1c2Qrg8d
#pwlconf2018 #sessiontypes #types #semantics
Why is there no @rustlang library / macro / build.rs boilerplate to facilitate #sessiontypes?
https://t.co/eL1zJ5Q3Rb
See our skillscast from last nights #functional #londoners #meetup! @Lleutch gives a talk on #SessionTypes! #fsharp https://t.co/VHsXNN2YAB
WATCH: #PWLConf 2016 - Nobuko Yoshida on Multiparty Session Types https://t.co/0OX3SyvrHq #video #types #sessiontypes #compsci
WATCH: #PWLConf 2016 - Nobuko Yoshida on Multiparty Session Types https://t.co/0OX3SyvrHq #video #types #sessiontypes #compsci
Great talk by @Lleutch on #SessionTypes at the #functional #Londoners #meetup! @skillsmatter #fsharp
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
241M followers
Barack Obama
@barackobama
119.2M followers
Cristiano Ronaldo
@cristiano
112.2M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.1M followers
Rihanna
@rihanna
98.1M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91.3M followers
KATY PERRY
@katyperry
88.5M followers
Taylor Swift
@taylorswift13
82.4M followers
Lady Gaga
@ladygaga
73.9M followers
Virat Kohli
@imvkohli
71.3M followers
Kim Kardashian
@kimkardashian
70.2M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64.4M followers
Neymar Jr
@neymarjr
64.1M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.8M followers
Selena Gomez
@selenagomez
61.6M followers
X
@x
60.8M followers