00:00
1506
More
See all Show me
Malcolm Wallace's videos
54. OXenstored: An Efficient Hierarchical and Transactio…
by Malcolm Wallace
2 years ago
53. Runtime Support for Multicore Haskell
by Malcolm Wallace
2 years ago
52. Purely Functional Lazy Non-deterministic Programming
by Malcolm Wallace
2 years ago
51. Experience Report: Embedded, Parallel Computer-Vis…
by Malcolm Wallace
2 years ago
50. SIGPLAN Programming Languages Achievement Award: R…
by Malcolm Wallace
2 years ago
49. Functional Pearl: La Tour D’Hanoï
by Malcolm Wallace
2 years ago
48. Identifying Query Incompatibilities with Evolving …
by Malcolm Wallace
2 years ago
47. Experience Report: Using Ob jective Caml to Develo…
by Malcolm Wallace
2 years ago
46. Causal Commutative Arrows and Their Optimization
by Malcolm Wallace
2 years ago
45. Experience Report: OCaml for an Industrial-strengt…
by Malcolm Wallace
2 years ago
44. In Memoriam Peter Landin
by Malcolm Wallace
2 years ago
43. A Theory of Typed Coercions and its Applications
by Malcolm Wallace
2 years ago
42. Finding Race Conditions in Erlang with QuickCheck …
by Malcolm Wallace
2 years ago
41. Safe Functional Reactive Programming through Depen…
by Malcolm Wallace
2 years ago
40. Most Influential ICFP’99 Paper Award
by Malcolm Wallace
2 years ago
39. A Functional I/O System or, Fun for Freshman Kids
by Malcolm Wallace
2 years ago
38. Scribble: Closing the Book on Ad Hoc Documentation Tools
by Malcolm Wallace
2 years ago
37. Attribute Grammars Fly First-Class: How to do Aspe…
by Malcolm Wallace
2 years ago
36. Partial Memoization of Concurrency and Communication
by Malcolm Wallace
2 years ago
35. Experience Report: seL4: Formally Verifying a High…
by Malcolm Wallace
2 years ago
34. Parallel Concurrent ML
by Malcolm Wallace
2 years ago
33. Automatically RESTful Web Applications: Marking Mo…
by Malcolm Wallace
2 years ago
32. Control-Flow Analysis of Function Calls and Return…
by Malcolm Wallace
2 years ago
31. Free Theorems Involving Type Constructor Classes
by Malcolm Wallace
2 years ago
30. Organizing Functional Code for Parallel Execution;…
by Malcolm Wallace
2 years ago
29. A Universe of Binding and Computation
by Malcolm Wallace
2 years ago
28. Experience Report: Haskell in the “Real World” : W…
by Malcolm Wallace
2 years ago
Safe Functional Reactive Programming through Dependent Types

Neil Sculthorpe and Henrik Nilsson; University of Nottingham

International Conference on Functional Programming (ICFP)
Edinburgh 2009
ACM SIGPLAN

Credits

Likes

  • Bartosz Milewski 2 years ago
    This reminds me of the language Flapjax, flapjax-lang.org/ that implement FRP on top of JavaScript. In Flapjax, signal is called "behavior".
  •  
This conversation is missing your voice. Take five seconds to join Vimeo or log in.

Advertisement

About this video

MP4
00:25:06
  • 640x480, 111.15MB
  • Uploaded Thu September 17, 2009
  • Please join or log in to download

Statistics

Date Plays Comments
Totals 531 3 1
Feb 15th 0 0 0
Feb 14th 0 0 0
Feb 13th 0 0 0
Feb 12th 0 0 0
Feb 11th 0 0 0
Feb 10th 0 0 0
Feb 9th 0 0 0