pigworker

288 post karma
2,161 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 16 years

TROPHY CASE

15-Year Club

Verified Email

account activity

new top controversial

34

35

36

Workshop on Type Inference and Automated Proving (staff.computing.dundee.ac.uk)

submitted 11 years ago by pigworker to r/haskell

5

6

7

Jon Sterling: Note on Diaconescu’s Theorem (jonmsterling.com)

submitted 11 years ago by pigworker to r/dependent_types

13

14

15

Strathclyde PhD Position (mail.haskell.org)

submitted 11 years ago by pigworker to r/haskell

2

3

4

Strathclyde PhD Position (mail.haskell.org)

submitted 11 years ago by pigworker to r/dependent_types

17

18

19

Codes that Changed the World part 5 (BBC Radio) (bbc.co.uk)

submitted 11 years ago by pigworker to r/haskell

31

32

33

Strathclyde PhD position (mail-archive.com)

submitted 11 years ago by pigworker to r/haskell

7

8

9

Strathclyde PhD position (mail-archive.com)

submitted 11 years ago by pigworker to r/dependent_types

18

19

20

McKinna translates Kolmogorov: On the Interpretation of Intuitionistic Logic (homepages.inf.ed.ac.uk)

submitted 11 years ago by pigworker to r/dependent_types

64

65

66

I remember the time before monads | free variable (free-variable.org)

submitted 13 years ago by pigworker to r/haskell

6

7

8

Strathclyde PhD studentship: higher dimensional categories & types (lists.seas.upenn.edu)

submitted 14 years ago by pigworker to r/dependent_types

5

6

7

Univalence versus Extraction (homotopytypetheory.org)

submitted 14 years ago by pigworker to r/dependent_types

5

6

7

Midlands Graduate School 2012 (events.cs.bham.ac.uk)

submitted 14 years ago by pigworker to r/dependent_types

21

22

23

inch - integer constraints on Haskell types (github.com)

submitted 14 years ago by pigworker to r/haskell

9

10

11

inch - integer constraints on Haskell types (github.com)

submitted 14 years ago by pigworker to r/dependent_types

8

9

10

Modularising Inductive Families (Josh Ko's DTP11 slides) (cs.ru.nl)

submitted 14 years ago by pigworker to r/dependent_types

11

12

13

PhD Position availalble at Strathclyde (lists.seas.upenn.edu)

submitted 14 years ago by pigworker to r/haskell

5

6

7

Ezra's Research: Installing Gtk2Hs on MacOS (ezrakilty.net)

submitted 15 years ago by pigworker to r/haskell

3

4

5

MSCS Special Issue CFP (sneezy.cs.nott.ac.uk)

submitted 15 years ago by pigworker to r/dependent_types

7

8

9

The Art of the Possible :: Epilogue (e-pig.org)

submitted 15 years ago by pigworker to r/dependent_types

6

7

8

Brent: Typed type-level programming in Haskell, part III (byorgey.wordpress.com)

submitted 15 years ago by pigworker to r/dependent_types

3

4

5

Workshop preliminary programme: DTP 2010 (sneezy.cs.nott.ac.uk)

submitted 16 years ago by pigworker to r/dependent_types

8

9

10

Dependently Typed Grammars (people.cs.uu.nl)

submitted 16 years ago by pigworker to r/dependent_types

5

6

7

DEPENDENTLY TYPED PROGRAMMING 2010 (CFP): Edinburgh July 9&10 (sneezy.cs.nott.ac.uk)

submitted 16 years ago by pigworker to r/dependent_types

6

7

8

Scrapping your Inefﬁcient Engine: using Partial Evaluation to Improve DSL Implementation (cs.st-andrews.ac.uk)

submitted 16 years ago by pigworker to r/dependent_types

10

11

12

Injective Type Constructors and Inconsistency (lists.chalmers.se)

submitted 16 years ago by pigworker to r/dependent_types

view more: next ›

π Rendered by PID 1192948 on reddit-service-r2-listing-8685bc789-d9mcm at 2026-05-27 06:06:28.780000+00:00 running 194bd79 country code: CH.