or cancel
  1. Purely Functional Lazy Non-deterministic Programming

    22:50

    from Malcolm Wallace / Added

    687 Plays / / 0 Comments

    Purely Functional Lazy Non-deterministic Programming Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan; Christian-Albrechts University, FNMOC, Rutgers University International Conference on Functional…

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

      22:23

      from Malcolm Wallace / Added

      482 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
      • Biorthogonality, Step-Indexing and Compiler Correctness

        22:20

        from Malcolm Wallace / Added

        281 Plays / / 0 Comments

        Biorthogonality, Step-Indexing and Compiler Correctness Nick Benton and Chung-Kil Hur; Microsoft Research, University of Cambridge International Conference on Functional Programming (ICFP) Edinburgh…

        + More details
        • Complete and Decidable Type Inference for GADTs

          22:06

          from Malcolm Wallace / Added

          429 Plays / / 0 Comments

          Complete and Decidable Type Inference for GADTs Tom Schrijvers , Simon Peyton Jones , Martin Sulzmann , Dimitrios Vytiniotis ; Katholieke Universiteit Leuven, Microsoft Research, Intaris Software…

          + More details
          • Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

            21:53

            from Malcolm Wallace / Added

            349 Plays / / 0 Comments

            Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform Tiark Rompf, Ingo Maier, Martin Odersky; EPFL International Conference on Functional Programming…

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

              21:29

              from Malcolm Wallace / Added

              407 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
              • Runtime Support for Multicore Haskell

                21:22

                from Malcolm Wallace / Added

                504 Plays / / 0 Comments

                Runtime Support for Multicore Haskell Simon Marlow, Simon Peyton Jones, Satnam Singh; Microsoft Research International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN

                + More details
                • Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL

                  19:30

                  from Malcolm Wallace / Added

                  320 Plays / / 0 Comments

                  Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL Ryan R. Newton and Teresa Ko; MIT CSAIL, UCLA Vision Lab International Conference on Functional Programming (ICFP) Edinburgh…

                  + More details
                  • Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework

                    19:09

                    from Malcolm Wallace / Added

                    257 Plays / / 0 Comments

                    Experience Report: Using Ob jective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework Bruno Pagano , Olivier Andrieu , Thomas Moniot , Benjamin Canou , Emmanuel Chailloux…

                    + More details
                    • Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language

                      18:23

                      from Malcolm Wallace / Added

                      1,430 Plays / / 1 Comment

                      Experience Report: Haskell in the “Real World” : Writing a Commercial Application in a Lazy Functional Language Curt J. Sampson; Starling Software International Conference on Functional…

                      + More details
                      • Experience Report: Ocsigen, a Web Programming Framework

                        18:19

                        from Malcolm Wallace / Added

                        472 Plays / / 0 Comments

                        Experience Report: Ocsigen, a Web Programming Framework Vincent Balat, Jérôme Vouillon, Boris Yakobowski; Laboratoire Preuves, Programmes et Systèmes - Université Paris…

                        + More details
                        • Experience Report: OCaml for an Industrial-strength Static Analysis Framework

                          16:38

                          from Malcolm Wallace / Added

                          959 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

                          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