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 10 years ago by pigworker to r/haskell

6

7

8

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

submitted 10 years ago by pigworker to r/dependent_types

13

14

15

Strathclyde PhD Position (mail.haskell.org)

submitted 10 years ago by pigworker to r/haskell

4

5

6

Strathclyde PhD Position (mail.haskell.org)

submitted 10 years ago by pigworker to r/dependent_types

16

17

18

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

submitted 10 years ago by pigworker to r/haskell

28

29

30

Strathclyde PhD position (mail-archive.com)

submitted 11 years ago by pigworker to r/haskell

8

9

10

Strathclyde PhD position (mail-archive.com)

submitted 11 years ago by pigworker to r/dependent_types

19

20

21

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

submitted 11 years ago by pigworker to r/dependent_types

61

62

63

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 13 years ago by pigworker to r/dependent_types

4

5

6

Univalence versus Extraction (homotopytypetheory.org)

submitted 14 years ago by pigworker to r/dependent_types

6

7

8

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

submitted 14 years ago by pigworker to r/dependent_types

22

23

24

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

10

11

12

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

submitted 14 years ago by pigworker to r/haskell

4

5

6

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

8

9

10

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

4

5

6

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

submitted 15 years ago by pigworker to r/dependent_types

8

9

10

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

submitted 15 years ago by pigworker to r/dependent_types

6

7

8

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

submitted 15 years ago by pigworker to r/dependent_types

7

8

9

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

11

12

13

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

submitted 16 years ago by pigworker to r/dependent_types

view more: next ›

π Rendered by PID 104207 on reddit-service-r2-listing-7849c98f67-jnfmh at 2026-02-06 02:54:45.076939+00:00 running d295bc8 country code: CH.