Anders Schack-Nielsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2008–2014
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | PADL | Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. | Martin Elsman, Anders Schack-Nielsen |
| 2010 | CADE | Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. | Anders Schack-Nielsen, Carsten Schrmann |
| 2008 | CADE | Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). | Anders Schack-Nielsen, Carsten Schrmann |