ICFP 2009

International Conference on Functional Programming, 2009

s
Sort: Preset / Date / Alphabetical / Plays / Likes / Comments / Duration
or cancel

  1. Experience Report: OCaml for an Industrial-strength Static Analysis Framework

    16:38

    from Malcolm Wallace / Added

    511 Plays / / 0 Comments

    Experience Report: OCaml for an Industrial-strength Static Analysis Framework Pascal Cuoq and Julien Signoles; CEA LIST International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

    + More details

    • In Memoriam Peter Landin

      14:32

      from Malcolm Wallace / Added

      742 Plays / / 0 Comments

      In Memoriam Peter Landin Olivier Danvy; University of Aarhus International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

      + More details

      • A Theory of Typed Coercions and its Applications

        22:57

        from Malcolm Wallace / Added

        124 Plays / / 0 Comments

        A Theory of Typed Coercions and its Applications Nikhil Swamy, Michael Hicks, Gavin M. Bierman; Microsoft Research, University of Maryland, College Park International Conference on Functional Programming…

        + More details

        • Finding Race Conditions in Erlang with QuickCheck and PULSE

          26:41

          from Malcolm Wallace / Added

          310 Plays / / 0 Comments

          Finding Race Conditions in Erlang with QuickCheck and PULSE Koen Claessen, Micha􏰀l Pa􏰀lka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger; Chalmers University of Technology,…

          + More details

          • Safe Functional Reactive Programming through Dependent Types

            25:06

            from Malcolm Wallace / Added

            682 Plays / / 1 Comment

            Safe Functional Reactive Programming through Dependent Types Neil Sculthorpe and Henrik Nilsson; University of Nottingham International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM…

            + More details

            • Most Influential ICFP’99 Paper Award

              04:09

              from Malcolm Wallace / Added

              500 Plays / / 0 Comments

              Most Influential ICFP’99 Paper Award (given by: Phil Wadler) International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

              + More details

              • A Functional I/O System or, Fun for Freshman Kids

                26:46

                from Malcolm Wallace / Added

                1,409 Plays / / 0 Comments

                A Functional I/O System or, Fun for Freshman Kids Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi; Northeastern University, Northwestern University, University of…

                + More details

                • Scribble: Closing the Book on Ad Hoc Documentation Tools

                  28:25

                  from Malcolm Wallace / Added

                  1,104 Plays / / 0 Comments

                  Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt , Eli Barzilay , Robert Bruce Findler; University of Utah, Northeastern Uni- versity, Northwestern University International…

                  + More details

                  • Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell

                    22:23

                    from Malcolm Wallace / Added

                    375 Plays / / 0 Comments

                    Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell Marcos Viera , S. Doaitse Swierstra , Wouter S. Swierstra ; Universidad dela Republica Montevideo, Utrecht University,…

                    + More details

                    • Partial Memoization of Concurrency and Communication

                      25:56

                      from Malcolm Wallace / Added

                      207 Plays / / 0 Comments

                      Partial Memoization of Concurrency and Communication Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan; Purdue University International Conference on Functional Programming (ICFP) Edinburgh…

                      + More details

                      • Experience Report: seL4: Formally Verifying a High-Performance Microkernel

                        21:29

                        from Malcolm Wallace / Added

                        369 Plays / / 0 Comments

                        Experience Report: seL4: Formally Verifying a High-Performance Microkernel Gerwin Klein , Philip Derrin , Kevin Elphinstone; NICTA & UNSW, NICTA International Conference on Functional Programming…

                        + More details

                        • Parallel Concurrent ML

                          25:02

                          from Malcolm Wallace / Added

                          226 Plays / / 0 Comments

                          Parallel Concurrent ML John Reppy , Claudio V. Russo , Yingqi Xiao ; University of Chicago, Microsoft Research International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                          + More details

                          Albums

                          Albums

                          There are 40 videos in this album. Albums make it easy to organize a collection of videos. They can be used to display videos together, or sent to friends as a playlist. You can even arrange the order of videos in each album.

                          You can add a video to one of your albums or create a new album from the "+Add to…" tab on video pages.

                          Albums can also be used to show videos on other web sites using Vimeo Widgets.

                          Also Check Out

                          More stuff from Malcolm Wallace