Kotlin

swMATH30933MaRDI QIDQ42647FDOQ42647

Author name not available (Why is that?)

Source code repository: https://github.com/JetBrains/kotlin/

Cited In (3)

• On multi-language abstraction. Towards a static analysis of multi-language programs
• Leveraging compiler intermediate representation for multi- and cross-language verification
• Java generics are turing complete

This page was built for software: Kotlin