Definitional Misinterpreter @DefinitionalM
overloaded PL terms in the wild Joined July 2022-
Tweets11
-
Followers9
-
Following4
-
Likes2
What a fantastic way to advertise your research thank you @poplconf
0
0
1
28
0
Download Image
12 lifting properties that’ll put you in a model category (you won’t believe #9!)
Definitional Misinterpreter retweeted
No, Google, I most certainly did not mean that
The UN uses C preprocessor to #undef autocratic regimes and support civil society
Apparently this package manager is only designed for hairy situations
Folks have really strong opinions against higher order abstract syntax
Haskell extensions hit different since 2020
Search term: weak head reduction
Amanda Liu @amangoliu
337 Followers 364 Following PhD student @MITEECS with a soft spot for PL + verification.
robo @rooooooboooooo
43 Followers 336 Following
David Young @roboguy20
503 Followers 1K Following Computer science PhD student focusing in programming languages
λ 0 @I_combinator
10 Followers 170 Following
Cheng Shao @monadiccheng
275 Followers 422 Following
Nachi @modaltype
376 Followers 291 Following "The limits of my language mean the limits of my world" and all that
Robert Krook @Rewbert
177 Followers 196 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Nachi @modaltype
376 Followers 291 Following "The limits of my language mean the limits of my world" and all that
Robert Krook @Rewbert
177 Followers 196 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3Trends for United States
3.304 posts
80,2 B posts
22,7 B posts
61,5 B posts
6.223 posts
84 B posts
3.772 posts
9.230 posts
9.069 posts
15,9 B posts
64,7 B posts
37,7 B posts
2.315 posts
140 B posts
1.785 posts
224 B posts
You might like
Robert Krook
@Rewbert
177 Followers
Joel Svensson
@sve10362122
294 Followers