starling-software.com
ICFP Slides and Papers Available - Tokyo Society for the Application of Currying Blog at Starling Software
http://www.starling-software.com/en/blog/tsac/2009/09/10.icfp-slides-and-papers-available.html
Tokyo Society for the Application of Currying. Map to TSAC Meetings. Exploring Category Theory with Haskell: Challenge Problem. CUFP Videos and Summary Available. ICFP 2009 Haskell Implementors' Workshop Videos Available. ICFP Slides and Papers Available. Return from ICFP 2009. 2009 ICFP Programming Contest. Parsing Roman Numerals Redux. Playing with Problems and the Y Combinator. Digital Editions of Haskell Books. December Surprise Topic: Haskell FFI. ICFP Done. Next up: Lisp! ICFP / TSAC on October 9th.
caffeinatedcode.wordpress.com
Functional Pearls #2: The Zipper | Caffeinated Code
https://caffeinatedcode.wordpress.com/2008/09/09/functional-pearls-2-the-zipper
Functional Pearls #2: The Zipper. Well I’m back with part two of my functional pearls series. This pearl is perhaps the most famous: Gerard Huet’s. Zipper. Its a simple, but beautiful little data structure for purely functional tree editing. You have to create an application which involves manipulating trees of some kind (Huet wanted to make a structured editor for a proof assistant – whatever that means! With that background, let’s start with a variable arity tree type:. Is a tuple of two things: a (sub...
iktdk.ioc.ee
IKT doktorikool
http://iktdk.ioc.ee/courses.html
Info- ja kommunikatsioonitehnoloogia doktorikool. 7th Estonian Summer School in Computer and Systems Science, ESSCaSS 2008. 24-298.2008 toimus Otepääl Marguse puhkekeskuses 7. Eesti arvuti- ja süsteemiteaduse suvekool. Lektorid olid Ricardo Baeza-Yates (Yahoo! E 262008 pidas Fabian Vargas (PUCRS) TTÜs loengu kiipsüsteemide disainist elektromagneetilise ühilduvuse suhtes. Loeng toimus kl 15 TTÜ IT-maja ruumis 209. Ralph Matthese kursus monaadidest programmeerimises ja verifitseerimisel. E-N 14.-17....
personal.cis.strath.ac.uk
The Strathclyde Haskell Enhancement
https://personal.cis.strath.ac.uk/conor.mcbride/pub/she
The Strathclyde Haskell Enhancement. Being a preprocessor with divers functionality. Please won't you tell me who is she? The Strathclyde Haskell Enhancement is an experimental preprocessor for the Glasgow Haskell Compiler. Concocted hastily by Conor. At the University of Strathclyde. Its current functionality includes. Types indexed by data. Mdash; definitions you can use on left and right. Support for a crude. Kind of aspect-oriented programming. For effectful programming in applicative style. If you w...
cpp2017.mpi-sws.org
CPP 2017
http://cpp2017.mpi-sws.org/accepted.html
The 6th ACM SIGPLAN Conference on. Certified Programs and Proofs (CPP 2017). Paris, France, January 16 - 17, 2017. The photo depicts the Île de la Cité as seen from the Pont des Arts shortly before sunrise. Credits: Daniel Vorndran / DXR, CC BY-SA 3.0. Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic. Érik Martin-Dorel and Pierre Roux. A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations. Anthony Fox, Magnus O. Myreen. Formal...
typesandkinds.wordpress.com
Defunctionalization for the win | Types and Kinds
https://typesandkinds.wordpress.com/2013/04/01/defunctionalization-for-the-win
Who needs terms, anyway? Defunctionalization for the win. I enjoy using a type system to help make sure my term level code is unimpeachably correct. This is where my interest in writing the. Library came from. This library allows you to write some dependently typed code in Haskell, using singleton types. I didn’t invent this idea, but I did write a nice library to remove some of the pain of using this encoding. SHE. Can be considered an ancestor of. I innocently answered yes , at which point Conor McBride.
itp2012.cs.princeton.edu
Organization
http://itp2012.cs.princeton.edu/Organization.html
Notification of paper decisions:. Final versions due from authors:. Princeton Univ., USA). Princeton Univ., USA). Princeton Univ., USA). Univ of Ottawa, Canada). LMU Munich, Germany). Microsoft Research Cambridge, UK). Secunet Security Networks AG, Germany). Co-Chair, Princeton Univ., USA). INRIA Sophia-Antipolis, France). Chalmers Univ. of Technology, Sweden). Co-Chair, Univ. of Ottawa, Canada). Radboud Univ. Nijmegen, The Netherlands). Microsoft Research Cambridge, UK). Intel Corp., USA).
