Christopher Monsanto

Member for 12 years, 9 months
Last seen more than a month ago

monsan.to
Princeton University

Summary

Reputation

1,062

1.1k
1k
1k

2020
2021
2022
2023

Top tag

type-theory

Next privilege

2,000 Rep.

Edit posts

Badges

7

11

Newest

Yearling

Next badge

0/1

Custodian

Questions

Score Activity Newest Views

41

A probabilistic set with no false positives?

May 16, 2011

15

Unary parametricity vs. binary parametricity

May 25, 2012

13

Reference for Levin's optimal factoring algorithm ?

Apr 28, 2011

9

Deciding if a wildcard string is completely matched by another wildcard string in a set

Apr 11, 2011

Answers

Score Activity Newest

8

Examples where insight from geometry was useful for solving something completely non-geometric

May 9, 2011

5

With equirecursive types are there downsides to making all types potentially recursive?

May 22, 2011

2

'Uniqueing' an unsorted list of integers

May 27, 2011

Tags

View all 18 tags

type-theory

5

Score

1

post

functional-programming

5

Score

1

post

type-inference

5

Score

1

post

ds.algorithms

2

Score

3

posts

ds.data-structures

0

Score

2

posts

Reputation

+170

A probabilistic set with no false positives?

+60

Unary parametricity vs. binary parametricity

+10

Reference for Levin's optimal factoring algorithm ?

+10

Deciding if a wildcard string is completely matched by another wildcard string in a set

Badges

View all badges

This user doesn’t have any gold badges yet.

7

silver badges

Good Question

Sep 28, 2015
Notable Question

Apr 11, 2015
Yearling

× 5

Nov 13, 2019

11

bronze badges

Commentator

May 16, 2011
Popular Question

May 3, 2013
Teacher

May 9, 2011

Accounts

View all 11 accounts

Theoretical Computer Science

1,062
7
11

881
8
11

271
2
10

193
4

191
1
1
6

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

49

upvotes

9

question votes

40

answer votes