jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony
maarek_ is now known as maarek
jmiven has quit [Quit: co'o]
jmiven has joined #ponylang
maarek has quit [Remote host closed the connection]
endformationage has quit [Ping timeout: 268 seconds]
mahmudov has joined #ponylang
haarts has quit [Ping timeout: 268 seconds]
c15ade4 has quit [Quit: WeeChat 2.0]
acarrico has joined #ponylang
acarrico has quit [Ping timeout: 245 seconds]
dx_ob has joined #ponylang
endformationage has joined #ponylang
beardhatcode has joined #ponylang
<beardhatcode> What is the best research paper that explains the type system of pony?
<SeanTAllen> That's a broad topic beardhatcode. There are a number of papers here: https://www.ponylang.io/community/#papers. I suspect you are most interested in the object capabilities papers.
acarrico has joined #ponylang
mahmudov has quit [Remote host closed the connection]
beardhatcode has quit [Quit: beardhatcode]
jemc has joined #ponylang
jemc has quit [Ping timeout: 246 seconds]
jemc has joined #ponylang
plietar has joined #ponylang
acarrico has quit [Ping timeout: 244 seconds]
plietar has quit [Quit: Connection closed for inactivity]
alxs has joined #ponylang
alxs has quit [Quit: Computer's gone to sleep. ZZZzzz…]
jemc has quit [Ping timeout: 245 seconds]
acarrico has joined #ponylang
dx_ob has quit [Ping timeout: 268 seconds]
dx_ob has joined #ponylang