Coeffects for MiniJava: Cf-Mj

Paola GIANNINI, Giulio Duso

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages30-36
Number of pages7
DOIs
Publication statusPublished - 2024
EventInternational Workshop on Formal Techniques for Java-like Programs, FTfJP 2024 - Vienna
Duration: 1 Jan 2024 → …

Conference

ConferenceInternational Workshop on Formal Techniques for Java-like Programs, FTfJP 2024
CityVienna
Period1/01/24 → …

Keywords

  • Coeffects
  • Java-like languages
  • Operational semantics

Cite this