Alen Arslanagic

Zoekresultaten

• 2021

  Minimal Session Types for the π-calculus

  Arslanagic, A., Palamariuc, A. & Pérez, J. A., 6-sep-2021, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming. Veltri, N., Benton, N. & Ghilezan, S. (redactie). New York: Association for Computing Machinery, 15 blz. 12

  Onderzoeksoutput › Academic › peer review
• 2019

  Minimal Session Types

  Arslanagic, A., Pérez, J. A. & Voogd, E., 2019, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Donaldson, A. F. (redactie). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 50 blz. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 134).

  Onderzoeksoutput › Academic › peer review

  Open Access

  Bestand
  64 Downloads (Pure)