| A domain specific programming language for image editing (memes) |
Sep. 23, 2024 |
|
|
| Academemes.com and the future of cloud native web applications |
Sep. 23, 2024 |
|
|
| Concurrent Reversible Programming language |
Sep. 15, 2025 |
|
|
| Energy consumption of programs and computation |
Sep. 15, 2025 |
|
|
| Generating well-typed programs for property based testing |
Sep. 23, 2024 |
|
|
| Master Thesis Suggestions Fall 2021 by Eric Jul |
Oct. 28, 2021 |
|
|
| OnlineProver feedback: How to aid students in automatic teaching tools |
Sep. 24, 2024 |
|
|
| Persistent data structures in imperative programming. |
Sep. 23, 2024 |
|
|
| Trust language for decentralised maritime systems |
Aug. 30, 2026 |
|
|