The following pages link to Nils Anders Danielsson (Q740486):
Displayed 12 items.
- Isomorphism is equality (Q740487) (← links)
- (Q2843616) (← links)
- Bag Equivalence via a Proof-Relevant Membership Relation (Q2914739) (← links)
- Partiality, Revisited (Q2988390) (← links)
- Lightweight semiformal time complexity analysis for purely functional data structures (Q3189833) (← links)
- ΠΣ: Dependent Types without the Sugar (Q3558328) (← links)
- Subtyping, Declaratively (Q3575268) (← links)
- A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family (Q3612438) (← links)
- Operational semantics using the partiality monad (Q5168888) (← links)
- Total parser combinators (Q5176948) (← links)
- Mathematics of Program Construction (Q5313102) (← links)
- (Q6079241) (← links)