BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Schack-Nielsen:Anders

Contributed to:

PADL 20142014
IJCAR 20102010
IJCAR 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.