Barton Rhodes bmorphism

## bayesball.jl
using CausalInference
V = [:U, :T, :P, :O]
g = digraph([1=>3, 2=>3, 3=>4, 2=>4, 1=>4])

# Can estimate total effect T=>O without observing U?
u = 2
v = 4
∅ = Set{Int}()
observed = 2:4
collect(list_covariate_adjustment(g, u, v, ∅, observed))

## abstractlattice.jl
abstract type AbstractLattice; end

function widen; end

"""
    struct JLTypeLattice

A singleton type representing the lattice of Julia types, without any inference
extensions.
"""

## IntercatsTalk.pdf

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                bmorphism
                / IntercatsTalk.pdf
            
            
              Created
              September 7, 2022 11:33
                — forked from Keno/IntercatsTalk.pdf
            
              
                Intercats Talk
              
          
        
      
        
  
    
    

          
    
      
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
	using CausalInference
	V = [:U, :T, :P, :O]
	g = digraph([1=>3, 2=>3, 3=>4, 2=>4, 1=>4])

	# Can estimate total effect T=>O without observing U?
	u = 2
	v = 4
	∅ = Set{Int}()
	observed = 2:4
	collect(list_covariate_adjustment(g, u, v, ∅, observed))
	abstract type AbstractLattice; end

	function widen; end

	"""
	struct JLTypeLattice

	A singleton type representing the lattice of Julia types, without any inference
	extensions.
	"""