Michael Vollmer
@vollmerm.bsky.social
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Excited to see some functional C++
July 23, 2025 at 8:52 AM
Excited to see some functional C++
I will! Thank you Chiitan for your interest in programming language theory!
July 14, 2025 at 8:26 PM
I will! Thank you Chiitan for your interest in programming language theory!
"Type-safe and portable support for packed data"
Also to be presented at ECOOP '25. We show how you can use types to safely and efficiently manipulate binary data.
arxiv.org/abs/2504.20166
Also to be presented at ECOOP '25. We show how you can use types to safely and efficiently manipulate binary data.
arxiv.org/abs/2504.20166
Type-safe and portable support for packed data
When components of a system exchange data, they need to serialise the data so that it can be sent over the network. Then, the recipient has to deserialise the data in order to be able to process it. T...
arxiv.org
June 4, 2025 at 11:45 AM
"Type-safe and portable support for packed data"
Also to be presented at ECOOP '25. We show how you can use types to safely and efficiently manipulate binary data.
arxiv.org/abs/2504.20166
Also to be presented at ECOOP '25. We show how you can use types to safely and efficiently manipulate binary data.
arxiv.org/abs/2504.20166