From: Stephen Davies <joviangm@gmail.com>
Subject: Adacore Blog - Going Beyond Ada 2022
Date: Tue, 8 Jun 2021 06:28:35 -0700 (PDT) [thread overview]
Message-ID: <a2188489-c571-40ac-9a07-61417b46d8f1n@googlegroups.com> (raw)
The following may be of interest (I was pleased to see fixed lower bounds being considered):
https://blog.adacore.com/going-beyond-ada-2022
next reply other threads:[~2021-06-08 13:28 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-06-08 13:28 Stephen Davies [this message]
2021-06-09 5:11 ` Adacore Blog - Going Beyond Ada 2022 J-P. Rosen
2021-06-09 15:10 ` AdaMagica
2021-06-09 16:33 ` Paul Rubin
2021-06-09 20:53 ` AdaMagica
2021-06-10 11:13 ` Emmanuel Briot
2021-06-13 20:29 ` Andreas ZEURCHER
2021-06-14 10:35 ` John McCabe
2021-06-14 22:50 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox