A
Anders Schack-Nielsen
Researcher at IT University of Copenhagen
Publications - 4
Citations - 49
Anders Schack-Nielsen is an academic researcher from IT University of Copenhagen. The author has contributed to research in topics: Affine transformation & Unification. The author has an hindex of 3, co-authored 4 publications receiving 47 citations. Previous affiliations of Anders Schack-Nielsen include University of Copenhagen.
Papers
More filters
Book ChapterDOI
Celf --- A Logical Framework for Deductive and Concurrent Systems (System Description)
TL;DR: Celf as discussed by the authors is an implementation of the CLF type theory that extends the LF type theory by linear types to support representation of state and a monad to support concurrency.
Journal ArticleDOI
Pattern Unification for the Lambda Calculus with Linear and Affine Types
TL;DR: In this article, higher-order unification is shown to be undecidable, but it can be turned decidable, if appropriately restricted to a fragment, for example, Miller's pattern fragment characterizes a first-order fragment.
Journal ArticleDOI
Induction on Concurrent Terms
TL;DR: This paper considers MiniML equipped with a standard big-step semantics and a destination-passing semantics both represented in concurrent LF (CLF) and proves the two semantics equivalent and outlines some of the difficulties that one will need to address when designing a meta-logic for CLF.
Journal ArticleDOI
Pattern Unification for the Lambda Calculus with Linear and Affine Types
TL;DR: The pattern fragment is defined for higher-order unification problems in linear and affine type theory and a deterministic unification algorithm is given that computes most general unifiers.