haskell

Messages by Date

2014/02/12 [Haskell] RV 2014: 2nd Call for Papers, Deadline in 2 months Runtime Verification
2014/02/11 [Haskell] Midlands Graduate School in the Foundations of Computing Graham Hutton
2014/02/11 [Haskell] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014 Ylies Falcone
2014/02/10 [Haskell] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop oleg
2014/02/10 Re: [Haskell] Google Summer of Code | Haskell.org Edward Kmett
2014/02/10 [Haskell] Google Summer of Code | Haskell.org Narendra Joshi
2014/02/09 [Haskell] [ANN] yocto-1.0.1 Alvaro J. Genial
2014/02/09 [Haskell] Oregon Programming Languages Summer School, 2014 Amal Ahmed
2014/02/06 [Haskell] ETAPS 2014 call for participation Tarmo Uustalu
2014/02/06 [Haskell] AI4FM 2014: Call for Short Contributions Iain Whiteside
2014/02/06 [Haskell] 2nd Call for Papers - TFPIE 2014 Peter Achten
2014/02/06 [Haskell] GPCE 2104 - Call for Papers Matthew Flatt
2014/02/05 [Haskell] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 7-18 July 2014, Utrecht, Netherlands Atze Dijkstra
2014/02/03 [Haskell] 5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS Francesco Calimeri
2014/02/02 [Haskell] ANNOUNCE: fpnla - A library for NLA operations Mauro Blanco
2014/01/31 [Haskell] Midlands Graduate School 2014 - register now! Graham Hutton
2014/01/31 [Haskell] TFP 2014 - 2nd call for papers Peter Achten
2014/01/30 [Haskell] 8 Funded PhD Positions at St Andrews Kevin Hammond
2014/01/29 Re: [Haskell] [ANN] yocto-0.1.2 Tobias Florek
2014/01/28 Re: [Haskell] [ANN] yocto-0.1.2 Christopher Allen
2014/01/28 Re: [Haskell] [ANN] yocto-0.1.2 Alvaro J. Genial
2014/01/28 Re: [Haskell] [ANN] yocto-0.1.2 Christopher Allen
2014/01/28 Re: [Haskell] [ANN] yocto-0.1.2 Alvaro J. Genial
2014/01/28 Re: [Haskell] [ANN] yocto-0.1.2 Bryan O'Sullivan
2014/01/28 Re: [Haskell] [ANN] yocto-0.1.2 Alvaro J. Genial
2014/01/28 Re: [Haskell] [ANN] yocto-0.1.2 Christopher Allen
2014/01/28 [Haskell] [ANN] yocto-0.1.2 Alvaro J. Genial
2014/01/25 [Haskell] UTP Symposium: extended submission deadline Jeremy Gibbons
2014/01/25 [Haskell] 2nd Call for Papers: ICECCS 2014, Tianjin, China, 4-7 Aug 2014 Liu Yang (Asst Prof)
2014/01/25 [Haskell] Call for Papers: ICFEM 2014, Luxembourg, 3-7 November 2014 Liu Yang (Asst Prof)
2014/01/23 [Haskell] ARRAY'14 Call for Papers Mary Sheeran
2014/01/23 [Haskell] HASKELL CAREER OPPORTUNITIES! Katy Ovens
2014/01/22 [Haskell] ANN: ZuriHac 2014 Bas van Dijk
2014/01/18 [Haskell] Just started working with Haskell. Need some help Pyro Crane
2014/01/17 [Haskell] ANNOUNCE: Diagrams 1.0 Brent Yorgey
2014/01/15 [Haskell] Call for Papers: TASE 2014 Huibiao Zhu
2014/01/12 [Haskell] UTP-2014 Unifying Theories of Programming - call for papers Jeremy Gibbons
2014/01/10 [Haskell] 5th Answer Set Programming Competition 2014 - FIRST CALL FOR PARTICIPANTS Francesco Calimeri
2014/01/10 [Haskell] Fun in the Afternoon at Facebook London: 12 March 2014 Simon Marlow
2014/01/07 [Haskell] ICFP 2014: Call for papers David Van Horn
2014/01/04 [Haskell] ANN: unicode-0.0 Henning Thielemann
2013/12/23 [Haskell] [ANN] shapely-data v0.1 Brandon Simmons
2013/12/23 [Haskell] Call for participation: Dutch Functional Programming Day 2014 Clemens Grelck
2013/12/20 [Haskell] CFP - Rewriting Techniques for Program Transformations and Evaluation 2014 Janis Voigtlaender
2013/12/20 [Haskell] Call for Papers: ITP 2014 Gerwin Klein
2013/12/19 [Haskell] Haskell Weekly News: Issue 288 Daniel Santa Cruz
2013/12/18 Re: [Haskell] Monad.Reader #23 call for copy Alberto G. Corona
2013/12/18 [Haskell] Monad.Reader #23 call for copy Edward Z . Yang
2013/12/17 [Haskell] Postdoctoral Researcher at Stevens Institute of Technology in domain-specific languages, security and privacy Dominic Duggan
2013/12/16 [Haskell] 10 PhD studentships in Nottingham Graham Hutton
2013/12/15 Re: [Haskell] ANN: hledger 0.22 Simon Michael
2013/12/14 Re: [Haskell] ANN: hledger 0.22 Simon Michael
2013/12/14 [Haskell] Full Professorship (U Tübingen, Germany) Torsten Grust
2013/12/13 [Haskell] ANN: hledger 0.22 Simon Michael
2013/12/13 [Haskell] 2nd Call for participation: Dutch Functional Programming Day 2014 Clemens Grelck
2013/12/12 [Haskell] Final Call for Papers WRLA 2014 Santiago Escobar
2013/12/11 [Haskell] Haskell Weekly News: Issue 287 Daniel Santa Cruz
2013/12/10 [Haskell] PADL 2014: Call for Participation Matthew Flatt
2013/12/09 [Haskell] CFP: The Future of Programming & Inaugural Speech Eelco Visser | TU Delft | 16, 17 Jan 2014 Eelco Visser
2013/12/09 [Haskell] Call for Participation PEPM 2014 (co-located with POPL 2014) Jurriaan Hage
2013/12/08 [Haskell] The future of array-oriented computing in Haskell — a survey Manuel M T Chakravarty
2013/12/08 Re: [Haskell] Haskell can sing Scott Turner
2013/12/06 [Haskell] Fully funded PhD studentships in Pervasive Parallelism at Edinburgh James Cheney
2013/12/05 [Haskell] BX 2014: Paper deadline extended Soichiro Hidaka
2013/12/05 [Haskell] Post for Haskellers Mail List Katy Ovens
2013/12/04 [Haskell] PLMW: Mentoring at POPL. Second Call for Participation Alan Schmitt
2013/12/03 [Haskell] [TFP 2014] 1st Call For Papers Peter Achten
2013/12/02 [Haskell] [ANN] Gtk2Hs 0.12.5 Hamish Mackenzie
2013/12/02 [Haskell] AI4FM 2014: Call for Short Contributions Iain Whiteside
2013/12/01 [Haskell] Haskell can sing Henning Thielemann
2013/11/29 [Haskell] 10 PhD studentships in Nottingham Graham Hutton
2013/11/24 [Haskell] FLOPS 2014: 2nd Call for Papers Janis Voigtlaender
2013/11/24 [Haskell] Second call for papers, BX 2014 Janis Voigtlaender
2013/11/22 [Haskell] Temporary Teaching Assistant Position to teach Functional Programming in China Thomas ANBERREE
2013/11/22 [Haskell] Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop. Alan Schmitt
2013/11/21 [Haskell] ANN: New Haskell.org committee members Jason Dagit
2013/11/21 [Haskell] Job announcement: formal methods engineer Hendrik Tews
2013/11/20 [Haskell] Call for participation: PLPV 2014 Nils Anders Danielsson
2013/11/20 [Haskell] Call for participation: Dutch Functional Programming Day 2014 Clemens Grelck
2013/11/20 [Haskell] ACM SIGPLAN Workshop on Data-Centric Programming (at POPL) - talk proposal deadline extended to 22nd Nov Jeremy . Gibbons
2013/11/20 [Haskell] Fwd: PhD studentship on ABCD J. Garrett Morris
2013/11/20 [Haskell] EAPLS PhD Award 2013 - Call for Nominations Kevin Hammond
2013/11/19 Re: [Haskell] ANN: smtps-gmail-1.0.0: Gmail API Gergely Risko
2013/11/18 [Haskell] ANN: smtps-gmail-1.0.0: Gmail API Enzo
2013/11/14 Re: [Haskell] [Haskell-cafe] ANNOUNCE: Haskell Pdf Presenter (hpdfp) 0.2.2 Niklas Hambüchen
2013/11/14 [Haskell] ANNOUNCE: Haskell Communities and Activities Report (25th ed., November 2013) Janis Voigtlaender
2013/11/14 Re: [Haskell] [Haskell-cafe] ANNOUNCE: Haskell Pdf Presenter (hpdfp) 0.2.2 Michael D. Adams
2013/11/13 Re: [Haskell] [Haskell-cafe] ANNOUNCE: Haskell Pdf Presenter (hpdfp) 0.2.2 Niklas Hambüchen
2013/11/13 [Haskell] ANNOUNCE: Haskell Pdf Presenter (hpdfp) 0.2.2 Michael D. Adams
2013/11/12 [Haskell] Haskell Weekly News: Issue 286 Daniel Santa Cruz
2013/11/11 [Haskell] New: Haskell meeting in Regensburg, 2013-11-12, 20:00 Andres Löh
2013/11/08 [Haskell] Job opportunities at Startup - London and Exeter Ben Moseley
2013/11/07 Re: [Haskell] repa not running in parallel? Claude Heiland-Allen
2013/11/07 Re: [Haskell] repa not running in parallel? Alexander Herz
2013/11/07 Re: [Haskell] repa not running in parallel? Tikhon Jelvis
2013/11/07 Re: [Haskell] repa not running in parallel? Roman Cheplyaka
2013/11/07 [Haskell] repa not running in parallel? Alexander Herz
2013/11/06 [Haskell] Haskell Weekly News: Issue 285 Daniel Santa Cruz
2013/11/04 [Haskell] Internship at Facebook London working on Haxl Simon Marlow
2013/11/01 [Haskell] Internship opportunities at Galois Adam Foltzer
2013/10/30 [Haskell] ICFP 2014: Call for Workshop & Co-located Event Proposals David Van Horn
2013/10/29 [Haskell] ANNOUNCE: lens-family 1.0.0 roconnor
2013/10/29 Re: [Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2013 edition Alberto G. Corona
2013/10/28 [Haskell] Vacancy Professor Software Technology Johan Jeuring
2013/10/27 [Haskell] WRLA 2014 Call for papers Santiago Escobar
2013/10/26 [Haskell] Relational & Algebraic Methods --- RAMiCS 2014 --- Final CFP, with Deadlines extended! Wolfram Kahl
2013/10/24 [Haskell] Haskell Weekly News: Issue 284 Daniel Santa Cruz
2013/10/23 [Haskell] JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING - CFP Deadline extended Josep Silva Galiana
2013/10/22 Re: [Haskell] HPC and the Square Kilometre Array Takayuki Muranushi
2013/10/22 [Haskell] HPC and the Square Kilometre Array Simon Peyton-Jones
2013/10/14 [Haskell] Looking for a Yesod presentation in Leipzig, Germany Johannes Waldmann
2013/10/13 [Haskell] Call for Talk Proposals: Data-Centric Programming, San Diego, Jan 2014 Jeremy . Gibbons
2013/10/08 [Haskell] Deadline extension for PEPM 2014 (co-located with POPL in San Diego) Jurriaan Hage
2013/10/06 [Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2013 edition Janis Voigtlaender
2013/10/03 [Haskell] Call for Papers - Third International Workshop on Bidirectional Transformations (BX 2014) Janis Voigtlaender
2013/10/01 [Haskell] 2nd CFP: PLPV 2014, Programming Languages meets Program Verification Nils Anders Danielsson
2013/09/30 [Haskell] Vacancy Assistant Professor Software Technology Utrecht University (1, 0 fte) Johan Jeuring
2013/09/26 Re: [Haskell] Haskell Weekly News: Issue 281 Henk-Jan van Tuyl
2013/09/25 [Haskell] Haskell Weekly News: Issue 281 Daniel Santa Cruz
2013/09/19 [Haskell] Haskell eXchange 2013, October 9, London Andres Löh
2013/09/19 [Haskell] Functional Programming in Bioinformatics, Birds-of-a-Feather Session at CUFP Ashish Agarwal
2013/09/18 [Haskell] PEPM 2014: Final call for papers oleg
2013/09/18 [Haskell] Haskell Weekly News: Issue 280 Daniel Santa Cruz
2013/09/18 [Haskell] CFP Special Issue Journal of Logic and Algebraic Programming Josep Silva Galiana
2013/09/18 Re: [Haskell] 2nd CFP: SCSS 2013 Josep Silva Galiana
2013/09/18 [Haskell] future (editor) of HCAR? Janis Voigtlaender
2013/09/16 Re: [Haskell] An APL library for Haskell Simon Peyton-Jones
2013/09/11 [Haskell] Haskell Weekly News: Issue 279 Daniel Santa Cruz
2013/09/10 [Haskell] APLAS 2013 - Call for Posters and Demos Shin-ya Katsumata
2013/09/10 [Haskell] Last Call for Participation - ICSM 2013, the 29th IEEE International Conference on Software Maintenance Natalia Dragan
2013/09/09 [Haskell] Hackage 2 now available for beta testing Duncan Coutts
2013/09/09 [Haskell] HOPE 2013 Last Call for Participation (with Workshop Program) Hongseok Yang
2013/09/06 [Haskell] ANNOUNCE: MemeXML 0.0.2 Florian Eggenhofer
2013/09/06 [Haskell] ETAPS 2014 2nd call for papers Tarmo Uustalu
2013/09/05 [Haskell] Oberwolfach Seminar on Mathematics for Scientific Programming Jeremy . Gibbons
2013/09/04 [Haskell] ANN: Cabal v1.18.0 released Johan Tibell
2013/09/04 [Haskell] ANN: set-cover solves Sudoku, Soma cube, 8 Queens etc. Henning Thielemann
2013/09/04 [Haskell] AVICPS 2013: Call for Papers. Submission deadline Sep 23, 2013 CAV 2012 CFP
2013/08/30 [Haskell] PPDP 2013 + LOPSTR 2013 Call for participation Ricardo Peña
2013/08/29 [Haskell] ANN: Chart library v1.0 Tim Docker
2013/08/28 [Haskell] Haskell Weekly News: Issue 278 Daniel Santa Cruz
2013/08/24 Re: [Haskell] please improve this code - thanks Jason Dagit
2013/08/24 Re: [Haskell] please improve this code - thanks Jerzy Karczmarczuk
2013/08/24 [Haskell] please improve this code - thanks Me
2013/08/21 [Haskell] Haskell Weekly News: Issue 277 Daniel Santa Cruz
2013/08/21 [Haskell] ANN: Google co-sponsoring ZuriHac 2013 Bas van Dijk
2013/08/21 Re: [Haskell] [Haskell-cafe] ANNOUNCE: posix-paths, for faster file system operations John Lato
2013/08/21 Re: [Haskell] [Haskell-cafe] ANNOUNCE: posix-paths, for faster file system operations John Wiegley
2013/08/20 [Haskell] ANNOUNCE: posix-paths, for faster file system operations Niklas Hambüchen
2013/08/20 Re: [Haskell] ANNOUNCE: haskell-src-exts 1.14.0 Dag Odenhall
2013/08/20 Re: [Haskell] ANNOUNCE: haskell-src-exts 1.14.0 Niklas Broberg
2013/08/20 Re: [Haskell] ANNOUNCE: haskell-src-exts 1.14.0 Niklas Broberg
2013/08/20 Re: [Haskell] ANNOUNCE: haskell-src-exts 1.14.0 Dag Odenhall
2013/08/20 Re: [Haskell] ANNOUNCE: haskell-src-exts 1.14.0 Niklas Hambüchen
2013/08/20 Re: [Haskell] ANNOUNCE: haskell-src-exts 1.14.0 Niklas Broberg
2013/08/20 Re: [Haskell] ANNOUNCE: haskell-src-exts 1.14.0 Niklas Hambüchen
2013/08/20 [Haskell] ANNOUNCE: haskell-src-exts 1.14.0 Niklas Broberg
2013/08/17 [Haskell] ICFP 2013 Call for Participation Tarmo Uustalu
2013/08/16 [Haskell] Call for participation IFL 2013 publicityifl
2013/08/14 [Haskell] Haskell Weekly News: Issue 276 Daniel Santa Cruz
2013/08/12 [Haskell] Call for Participation: Kiel Declarative Programming Days 2013 Michael Hanus
2013/08/12 Re: [Haskell] ANNOUNCE : heukarya, genetic programming library in Haskell He-chien Tsai
2013/08/09 [Haskell] Call for Papers: FTSCS 2013 Huibiao Zhu
2013/08/07 [Haskell] Haskell Weekly News: Issue 275 Daniel Santa Cruz
2013/08/06 Re: [Haskell] ANNOUNCE : heukarya, genetic programming library in Haskell 14875
2013/08/06 [Haskell] Call for Participation: HOPE 2013 (with special session in memory of John Reynolds) Hongseok Yang
2013/08/06 Re: [Haskell] ANNOUNCE : heukarya, genetic programming library in Haskell Tijn van der Zant
2013/08/05 Re: [Haskell] ANNOUNCE : heukarya, genetic programming library in Haskell 14875
2013/08/05 Re: [Haskell] ANNOUNCE : heukarya, genetic programming library in Haskell Thiago Negri
2013/08/05 [Haskell] ANNOUNCE : heukarya, genetic programming library in Haskell 14875
2013/08/01 [Haskell] Call for Participation - ICSM 2013, the 29th IEEE International Conference on Software Maintenance Natalia Dragan
2013/08/01 [Haskell] Call for Participation - 13th IEEE International Working Conference on Source Code Analysis and Manipulation Natalia Dragan
2013/07/31 [Haskell] Call for Participation: ICFEM 2013 Huibiao Zhu
2013/07/20 [Haskell] VMCAI 2014: Call for Papers Xavier Rival
2013/07/17 [Haskell] Haskell Weekly News: Issue 273 Daniel Santa Cruz
2013/07/17 [Haskell] Call for Papers PEPM 2014 publicityifl
2013/07/17 [Haskell] Call for Participation: 10th International Colloquium on Theoretical Aspects of Computing Huibiao Zhu
2013/07/16 [Haskell] Call for Papers IFL 2013 publicityifl
2013/07/15 [Haskell] Homotopy Type Theory IRC Channel Darin Morrison
2013/07/15 [Haskell] Workshop on Termination (deadline extension: July 22) Johannes Waldmann
2013/07/13 Re: [Haskell] [Haskell-cafe] ANNOUNCE: MFlow 3.0 Alberto G. Corona
2013/07/13 Re: [Haskell] [Haskell-cafe] ANNOUNCE: MFlow 3.0 Alberto G. Corona
2013/07/11 [Haskell] FHIES 2013 Call for Participation Jeremy . Gibbons
2013/07/11 [Haskell] Well-Typed are hiring: Haskell developer Duncan Coutts
2013/07/10 Re: [Haskell] [Haskell-cafe] ANNOUNCE: MFlow 3.0 Alberto G. Corona
2013/07/10 Re: [Haskell] [Haskell-cafe] ANNOUNCE: MFlow 3.0 Alberto G. Corona
2013/07/09 [Haskell] ANNOUNCE: MFlow 3.0 Alberto G. Corona
2013/07/03 [Haskell] Call for Demo Proposals: Workshop on Functional Art, Music, Modeling and Design Brent Yorgey
2013/07/03 [Haskell] Haskell Weekly News: Issue 272 Daniel Santa Cruz
2013/07/03 [Haskell] Liber Amicorum for Doaitse Swierstra. Jurriaan Hage
2013/07/01 [Haskell] ANN: esqueleto-1.2.3 Felipe Almeida Lessa
2013/06/27 Re: [Haskell] [Haskell-cafe] Job opportunities at Galois Iavor Diatchki
2013/06/27 [Haskell] Job opportunities at Galois Iavor Diatchki
2013/06/27 [Haskell] Call for Papers: Kiel Declarative Programming Days 2013 Michael Hanus
2013/06/26 [Haskell] Haskell Weekly News: Issue 271 Daniel Santa Cruz
2013/06/20 Re: [Haskell] Quipper: a quantum programming language Takayuki Muranushi
2013/06/19 Re: [Haskell] Quipper: a quantum programming language Takayuki Muranushi
2013/06/19 [Haskell] Quipper: a quantum programming language Alexander Green
2013/06/19 [Haskell] Extended deadline for a call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13) Hongseok Yang
2013/06/18 [Haskell] ML 2013: last call for presentations Daan Leijen