External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Dependently Typed Languages in Statix

Jonathan Brouwer, Jesper Cockx, Aron Zwaan. Dependently Typed Languages in Statix. In Ralf Lämmel, Peter D. Mosses, Friedrich Steimann, editors, Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands. Volume 109 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Jonathan Brouwer

This author has not been identified. Look up 'Jonathan Brouwer' in Google

Jesper Cockx

Identified as Jesper Cockx
(TU Delft
)

Aron Zwaan

Identified as Aron Zwaan
(Delft University of Technology
)
runs on