19 followers
RT @jecbond: @kristleifur https://t.co/j555lbo7Q9 for formal inductive learning by solving SMT, Or "type directed program synthesis" by N…
RT @jecbond: @kristleifur https://t.co/j555lbo7Q9 for formal inductive learning by solving SMT, Or "type directed program synthesis" by N…
@kristleifur https://t.co/j555lbo7Q9 for formal inductive learning by solving SMT, Or "type directed program synthesis" by Nadia Polikarpova for a more haskelly typey outlook