A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
Abel, Andreas, Danielsson, Nils Anders, Eriksson, Oskar
Published in Proceedings of ACM on programming languages (30.08.2023)
Published in Proceedings of ACM on programming languages (30.08.2023)
Get full text
Journal Article
Synapsins I and II Are Not Required for Insulin Secretion from Mouse Pancreatic β-cells
Wendt, Anna, Speidel, Dina, Danielsson, Anders, Esguerra, Jonathan L. S, Bogen, Inger Lise, Walaas, S. Ivar, Salehi, Albert, Eliasson, Lena
Published in Endocrinology (Philadelphia) (01.05.2012)
Published in Endocrinology (Philadelphia) (01.05.2012)
Get full text
Journal Article
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai
Published in Foundations of Software Science and Computation Structures (2017)
Published in Foundations of Software Science and Computation Structures (2017)
Get full text
Book Chapter
Conference Proceeding
Reduced gene expression of adiponectin in fat tissue from patients with end-stage renal disease
Marchlewska, Alicia, Stenvinkel, Peter, Lindholm, Bengt, Danielsson, Anders, Pecoits-Filho, Roberto, Lönnqvist, Fredrik, Schalling, Martin, Heimbürger, Olof, Nordfors, Louise
Published in Kidney international (01.07.2004)
Published in Kidney international (01.07.2004)
Get full text
Journal Article
Difficult discussions with patients practiced at course with actors. A carefully planned strategy helps both physician and patient
Danielsson, Anders, Dahlstrand, Hanna, Edvinsson, Franziska, Tranberg, Mattias, Wrangsjö, Anna, Fürst, Carl-Johan
Published in Läkartidningen (22.11.2016)
Get more information
Published in Läkartidningen (22.11.2016)
Journal Article
A CAP WITH A CUTTING ELEMENT
DANIELSSON ANDERS, JOHANSSON GORAN, ANDERSSON HENRIK, ROSBERG ROBERT, STACKEBO JENNIE, NORDGREN FREDRIK
Year of Publication 02.03.2016
Get full text
Year of Publication 02.03.2016
Patent
Higher Lenses
Capriotti, Paolo, Danielsson, Nils Anders, Vezzosi, Andrea
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Endothelial Cells in Endogenous and Transplanted Pancreatic Islets: Differences in the Expression of Angiogenic Peptides and Receptors
Mattsson, Göran, Danielsson, Anders, Kriz, Vitezslav, Carlsson, Per-Ola, Jansson, Leif
Published in Pancreatology : official journal of the International Association of Pancreatology (IAP) ... [et al.] (01.01.2006)
Published in Pancreatology : official journal of the International Association of Pancreatology (IAP) ... [et al.] (01.01.2006)
Get full text
Journal Article