Concepedia

Karl Naden

KN

Statistics

Publications

5

Citations

207

H-Index

5

Active since

2011

Affiliations

Carnegie Mellon University(Current)

Two Sigma Investments (United States)

University of Chile

Karl Naden is an author at Carnegie Mellon University specializing in computer science, computing, and programming languages.

Publications per year

2011–2014

5

Publications

5

First-class state change in plaid

Joshua Sunshine, Karl Naden, Sven Stork et al. · 2011 · 69 citations

Computing, Computer Science, Compilers +15

A type system for borrowing permissions

Karl Naden, Robert L. Bocchino, Jonathan Aldrich et al. · ACM SIGPLAN Notices · 2012 · 54 citations

Computing, Computer Science, Access Management +11

A type system for borrowing permissions

Karl Naden, Robert L. Bocchino, Jonathan Aldrich et al. · 2012 · 44 citations

Computing, Computer Science, Access Management +11

Sven Stork, Karl Naden, Joshua Sunshine et al. · ACM Transactions on Programming Languages and Systems · 2014 · 27 citations · Full text

Computing, Computer Engineering, Computer Science +15

First-class state change in plaid

Joshua Sunshine, Karl Naden, Sven Stork et al. · ACM SIGPLAN Notices · 2011 · 13 citations · Full text

Computing, Computer Science, Compilers +15

1–5 of 5