On 15.06.20 09:46, M.M. wrote:
On Sunday, 14 June 2020 at 20:22:41 UTC, Timon Gehr wrote:
For PLDI 2020, I have contributed to the following research papers:
https://pldi20.sigplan.org/details/pldi-2020-papers/47/Silq-A-High-Level-Quantum-Language-with-Safe-Uncomputation-and-Intuitive-Semantics
https://pldi20.sigplan.org/details/pldi-2020-papers/46/-PSI-Exact-Inference-for-Higher-Order-Probabilistic-Programs
Congratulations.
...
Thanks!
The only relation to D is that the implementations of the two
presented programming languages are written in D.
Does that mean that your junior co-author(s) use D as well?
Occasionally.