Anders Schack-Nielsen

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Evaluation Model

Fourth Party Logistics

Artificial Immune Network

Top Venues

Publications

Martin Elsman, Anders Schack-Nielsen
Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. PADL (2014)
Anders Schack-Nielsen, Carsten Schürmann
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. IJCAR (2010)
Anders Schack-Nielsen, Carsten Schürmann
Pattern Unification for the Lambda Calculus with Linear and Affine Types LFMTP (2010)
Anders Schack-Nielsen, Carsten Schürmann
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). IJCAR (2008)
Anders Schack-Nielsen
Induction on Concurrent Terms. Electron. Notes Theor. Comput. Sci. 196 (2008)