Anders Schack-Nielsen

According to our database, Anders Schack-Nielsen authored at least 5 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces.

Martin Elsman, Anders Schack-Nielsen

Proceedings of the Practical Aspects of Declarative Languages, 2014

2010

Pattern Unification for the Lambda Calculus with Linear and Affine Types

Anders Schack-Nielsen, Carsten Schürmann

Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus.

Anders Schack-Nielsen, Carsten Schürmann

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2008

Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).

Anders Schack-Nielsen, Carsten Schürmann

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Induction on Concurrent Terms.

Anders Schack-Nielsen

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007