Haskell 2017 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (56)

A Maximilian AlgehedAlgehed, Maximilian Chalmers University of Technology, Sweden QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
Markus AronssonAronsson, Markus Hardware Software Co-Design in Haskell
Lennart AugustssonAugustsson, Lennart Committee Member in Program Committee within the Haskell-track
B Mario BlaževićBlažević, Mario Packrats Parse in Packs
Gert-Jan BottuBottu, Gert-Jan Quantified Class Constraints
Rudy BraquehaisBraquehais, Rudy Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results
Joachim BreitnerBreitner, Joachim University of PennsylvaniaUnited States Committee Member in Program Committee within the Haskell-track
C Manuel ChakravartyChakravarty, Manuel Streaming Irregular Arrays
Chao-Hong ChenChen, Chao-Hong Indiana University Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Vikraman ChoudhuryChoudhury, Vikraman Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Koen ClaessenClaessen, Koen Chalmers University of Technology QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
Robert Clifton-EverestClifton-Everest, Robert Streaming Irregular Arrays
D Justin DawsonDawson, Justin Composable Network Stacks and Remote Monads
Benjamin DelawareDelaware, Benjamin Purdue University Using Coq to Write Fast and Correct Haskell
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Chair in Program Committee within the Haskell-track
E Anton EkbladEkblad, Anton Chalmers University of TechnologySweden A Meta-EDSL for Distributed Web Applications
Martin ErwigErwig, Martin Oregon State UniversityUnited States Committee Member in Program Committee within the Haskell-track
F Kenneth FonerFoner, Kenneth Ode on a Random Urn (Functional Pearl)
G Michael GaleGale, Michael University of Warwick, UKUnited Kingdom Well-Typed Music Does Not Sound Wrong (Experience Report)
Andy GillGill, Andy Composable Network Stacks and Remote Monads
Mark GrebeGrebe, Mark Composable Network Stacks and Remote Monads
Adam GundryGundry, Adam Well-Typed LLPUnited Kingdom Committee Member in Program Committee within the Haskell-track
H Jurriaan HageHage, Jurriaan Utrecht University Committee Member in Program Committee within the Haskell-track
Thomas HallgrenHallgren, Thomas Chalmers University of TechnologySweden Committee Member in Program Committee within the Haskell-track
J Moa JohanssonJohansson, Moa Chalmers University of Technology QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
K Georgios KarachaliasKarachalias, Georgios KU Leuven, BelgiumBelgium Elaboration on Functional Dependencies Quantified Class Constraints
Gabriele KellerKeller, Gabriele Data61,CSIRO (formerly NICTA) and UNSWAustralia Streaming Irregular Arrays
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt UniversityUnited Kingdom Committee Member in Program Committee within the Haskell-track
L Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece Ode on a Random Urn (Functional Pearl) A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq
Rebekah Leslie-HurdLeslie-Hurd, Rebekah Committee Member in Program Committee within the Haskell-track
Jacques LégaréLégaré, Jacques Packrats Parse in Packs
M Trevor L. McDonellMcDonell, Trevor L. University of New South Wales, AustraliaAustralia Streaming Irregular Arrays
Andrey MokhovMokhov, Andrey Algebraic Graphs with Class (Functional Pearl)
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Committee Member in Program Committee within the Haskell-track
Takayuki MuranushiMuranushi, Takayuki RIKEN Committee Member in Program Committee within the Haskell-track
N Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Henrik NilssonNilsson, Henrik University of Nottingham, UK Committee Member in Program Committee within the Haskell-track
Ulf NorellNorell, Ulf Committee Member in Program Committee within the Haskell-track
O Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, ChinaHong Kong Quantified Class Constraints
P Jennifer PaykinPaykin, Jennifer University of PennsylvaniaUnited States The Linearity Monad
Ivan PerezPerez, Ivan University of Nottingham, UK Back to the Future: Time Travel in FRP
Jeff PolakowPolakow, Jeff A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq
Q Donya QuickQuick, Donya Stevens Institute of TechnologyUnited States Algorithmic Music in Haskell (Invited Talk)
R Colin RuncimanRunciman, Colin Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results
Didier RémyRémy, Didier INRIA Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (Invited Talk)
S Tom SchrijversSchrijvers, Tom KU Leuven Elaboration on Functional Dependencies Quantified Class Constraints
Michael ScottScott, Michael University of Rochester Improving STM Performance with Transactional Structs
Mary SheeranSheeran, Mary Hardware Software Co-Design in Haskell
Nicholas SmallboneSmallbone, Nicholas QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
Antal Spector-ZabuskySpector-Zabusky, Antal Ode on a Random Urn (Functional Pearl)
Dmitrij SzamozvancevSzamozvancev, Dmitrij Well-Typed Music Does Not Sound Wrong (Experience Report)
V Niki VazouVazou, Niki University of Maryland A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Quantified Class Constraints
John WiegleyWiegley, John Using Coq to Write Fast and Correct Haskell
Y Ryan YatesYates, Ryan Improving STM Performance with Transactional Structs
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States The Linearity Monad