Computer Science
Profile Activity
Meta user
Network profile
204
reputation
1
8

Alexis King

Programming language nerd. I work on a language called Hackett, as well as other parts of the Racket project. I hang out in the , , and tags on Stack Overflow.

0
answers
2
questions
~439
people reached

Communities (93)

Top network posts

Top tags (7)

Score 0
Posts 1
Posts % 50
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (2)

All Questions Answers
Votes Newest
5 Why does higher-order abstract syntax need an inverse to define catamorphisms? Oct 12 '19
5 Local type argument synthesis when type variable does not appear in arguments Apr 12 '17

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest

View all badges →