Media from @fancytypes | teapawt

Stephanie Weirich@fancytypes14 Sep 2022

Yao Li's ICFP 2022 talk video "Program Adverbs and Tlon Embeddings" youtube.com/watch?v=a2_rmkjg…

23

Stephanie Weirich@fancytypes12 Sep 2022

12

Stephanie Weirich@fancytypes11 Sep 2022

OH: Every conference should be in Philadelphia or Ljubljana

1

30

Stephanie Weirich@fancytypes10 Sep 2022

Hello Ljubljana!

4

45

Stephanie Weirich@fancytypes14 Jul 2022

Congratulations @lastland0 on successfully defending your dissertation today!

10

61

Stephanie Weirich@fancytypes7 Apr 2022

And here is the YouTube version, with links to the publication and mechanized proof. youtube.com/watch?v=e_heE6Io…

A Dependent Dependency Calculus (ESOP 2022)

"A Dependent Dependency Calculus", paper by Pritam Choudhury, Harle...

1

5

Stephanie Weirich@fancytypes10 Mar 2022

Replying to @natefoster @_beccaharrison

Never regretted purchasing mine.

7

Stephanie Weirich@fancytypes1 Feb 2021

Replying to @LambdaDays @edwinbrady @rjmh

See also Richard Eisenberg's timely update on Dependent Haskell: youtube.com/watch?v=TXDivoj1…

@rae: Update on Dependent Haskell

I share a little on what's been going on in the broader journey tow...

3

Stephanie Weirich@fancytypes18 May 2020

Benjamin Pierce is speaking *right now* on the Chalmers FP seminar. Join here: youtu.be/dfZ94N0hS4I

2

35

Stephanie Weirich@fancytypes20 Aug 2019

Anders on Lens synthesis at #icfp19

1

9