This Right In: PLDI 2020 will take place online and registration is FREE. Closes on Jun 5, so hurry!

[Timon Gehr]

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.