Luka Miljak

According to our database, Luka Miljak authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Concrete Syntax Metapatterns.

Luka Miljak, Casper Bach Poulsen, Rosilde Corvino

Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, 2024

2023

Verifying Well-Typedness Preservation of Refactorings using Scope Graphs.

Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023