nLab Neelakantan Krishnaswami

webpage

Selected writings

On dependent linear type theory:

Neelakantan Krishnaswami, Pierre Pradic, Nick Benton, Integrating Dependent and Linear Types, ACM SIGPLAN Notices 50 1 (2015) 17–30 [pdf, doi:10.1145/2775051.2676969]

Related entries

category: people

Last revised on October 8, 2023 at 14:39:03. See the history of this page for a list of all contributions to it.