In: (Balakrishnan, N. et al., eds) Wiley StatsRef: Statistics Reference Online (2015); to appear. Graphical Markov models, unifying results and their interpretation Nanny Wermuth

Source URL: www.math.chalmers.se

Cubical Type Theory Free bounded distributive lattice The free distributive lattice on a set J can be described as the set of finite antichains in the poset of finite subsets of J, for the order L 6 M if, and only if, f

Source URL: www.cse.chalmers.se

Bernoulli 12(5), 2006, 841–862 Covariance chains N A N N Y W E R M U T H 1 , D. R . C O X 2 and G I OVA N N I M . M A R C H E T T I 3 1

Source URL: www.math.chalmers.se

COMPOSITION, COLOCATION, AND METAONTOLOGY1 Draft of September 2007 For Metametaphysics, ed. David Chalmers, David Manley, and Ryan Wasserman. Forthcoming from Oxford University Press. Karen Bennett Cornell University

Source URL: courses.cit.cornell.edu

The Markowitz Portfolio Theory Hannes Marling and Sara Emanuelsson November 25, 2012 Abstract In this paper we present the Markowitz Portfolio Theory for portfolio selection.

Source URL: www.math.chalmers.se

Multivariate generalized Pareto distributions Holger Rootz´en ∗ and Nader Tajvidi † Abstract

Source URL: www.math.chalmers.se

Nested General Recursion and Partiality in Type Theory Ana Bove1 and Venanzio Capretta2 1 Department of Computing Science, Chalmers University of Technology

Source URL: www.duplavis.com

c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010.  271 doi:S095679681000016X First published online 29 September 2010

Source URL: publications.lib.chalmers.se

• Software engineering
• Computer programming
• Computing
• Type theory
• Functional programming
• Data types
• Generic programming
• C++
• Type class
• Glasgow Haskell Compiler
• Monad
• Haskell

PDF Document

Source URL: www.math.chalmers.se

Constructive Homological Algebra Thierry Coquand September 2010 Constructive Homological Algebra

Source URL: www.cse.chalmers.se