Travelled to:1 × Australia
1 × USA
1 × United Kingdom
Collaborated with:C.Schürmann M.Elsman
Talks about:substitut (1) framework (1) interfac (1) explicit (1) calculus (1) typelet (1) concurr (1) system (1) static (1) linear (1)
Person: Anders Schack-Nielsen
DBLP: Schack-Nielsen:Anders
Contributed to:
2014
20102008Wrote 3 papers:
- PADL-2014-ElsmanS #evaluation #named #rule-based #static typing #user interface
- Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
- IJCAR-2010-Schack-NielsenS #linear #λ-calculus
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (ASN, CS), pp. 1–14.
- IJCAR-2008-Schack-NielsenS #concurrent #deduction #framework #logic #named
- Celf — A Logical Framework for Deductive and Concurrent Systems (ASN, CS), pp. 320–326.