Dimitrios Vytiniotis-2
Dimitrios Vytiniotis-2
Unregistered User
Groups: Anyone
Posts in Haskell
Show   Total: 14 items
Date Subject Count Location
Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~ 0 replies Haskell - Haskell
Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!) 0 replies Haskell - Haskell
Pruning GADT case alternatives with uninhabitable coercion parameters 4 replies GHC - devs
Re: [TYPES] OutsideIn(X) question 0 replies Haskell - Haskell-Cafe
Restrictions on polytypes with type families 5 replies GHC - devs
constraint deduction bug? 2 replies GHC - devs
RE: faking universal quantification in constraints 2 replies Haskell - Glasgow-haskell-users
smt solver bindings 3 replies Haskell - Haskell-Cafe
heads up: GHC gets a new constraint solver (again) 1 reply Haskell - Glasgow-haskell-users
Re: Type checking oddity -- maybe my own confusion 1 reply Haskell - Haskell-Cafe
RE: Fixing Performance Leaks at the Type Level 0 replies Haskell - Glasgow-haskell-users
Re: Fixing Performance Leaks at the Type Level 0 replies Haskell - Haskell-Cafe
Re: Could not deduce ... using functional dependencies with GHC7 6 replies Haskell - Haskell-Cafe
RE: weird behaviour of context resolution with FlexibleContexts and TypeFamilies 1 reply Haskell - Glasgow-haskell-users