Functional Programming
56 Entries
- This Week
- This Month
- All Time
-
Language(s)
-
52 minutes, 38 secondsC9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - Evolution of an InterpreterIn part 3 of the Advanced Functional Programming lecture series, Dr. Lämmel focuses on the domain of language interpretation as a method of understanding some important functional programming techniques. As a side effect, some basics of programming language theory are also… -
53 minutes, 41 secondsAlexandrescu, Bright, Meijer, Moran: Pure versus Native (and much more)Continuing with the series of conversations filmed in the "social room" at Lang.NEXT 2012, we present Andrei Alexandrescu, Walter Bright, Erik Meijer, and Andrew Adams-Moran discussing/debating various programming topics including pure versus native languages, Haskell, D, and more.… -
15 minutes, 3 secondsJuan Chen and Nikhil Swamy: FINE, Functional Programming for End-to-End Security VerificationJuan Chen and Nikhil Swamy, two researchers at the Research in Software Engineering group, present FINE, a new programming language for .NET.Software systems are governed by increasingly complex security policies. Ensuring that a system properly enforces its policy is hard. FINE is a… -
25 minutes, 29 secondsYOW! 2011: Joe Albahari - LINQ, LINQPad, and .NET Async (and a little Rx, too)Joe Albahari is the creator of LINQPad, an application that many of you use in your daily development of .NET applications/services, especially those that employ LINQ in some fashion. It's just a fantastic developer tool for C#; one that C9 celebrity genius and avid LINQPad user Brian… -
1 hour, 4 minutes, 14 secondsE2E: Erik Meijer and Burton Smith - Concurrency, Parallelism and ProgrammingThe great Burton Smith, Microsoft Technical Fellow and an international leader in high-performance computer architecture and programming languages for parallel computing joins functional programming purist and language design guru Erik Meijer to discuss several major themes… -
57 minutes, 34 secondsTomas Petricek: How F# Learned to Stop Worrying and Love the DataMar 04, 2013 at 9:33 AM
10
Tomas Petricek, a PhD student at University of Cambridge focusing on programming models, teaches us about one of his favorite programming languages, F#. The main topic is programming data with F#. You'll learn about Type Providers and Tomas will show how you can easily call REST APIs from F# using… -
24 minutes, 23 secondsYOW! 2011: Tony Morris - Functional Programming and Functional ThinkingTony Morris is a developer who has deployed functional programming techniques in industry for over 10 years. He's also a teacher and key player in Australia's increasingly vibrant functional programming community. Tony actively programs in Scala and Haskell so he possesses a well-rounded view… -
56 minutes, 22 secondsRich Hickey - The Database as a ValueSep 04, 2012 at 12:57 PM 8
Rich Hickey is the creator of the Clojure programming language. Most recently (over the past couple of years), Rich has been putting his iconoclastic ways to work on data programmability. The result is a new type of database, Datomic. Datomic is a database of flexible, time-based… -
41 minutes, 27 secondsC9 Lectures: Greg Meredith - Monadic Design Patterns for the Web 4 of 4Greg Meredith, a mathematician and computer scientist, has graciously agreed to do a C9 lecture series covering monadic design principles applied to web development. You've met Greg before in a Whiteboard jam session with Brian Beckman. The fundamental concept here is the monad, and Greg has a novel… -
1 hour, 8 minutes, 2 secondsExpert to Expert: Erik Meijer and Bertrand Meyer - Objects, Contracts, Concurrency, Sleeping BarbersBertrand Meyer is a programming language guru, computer scientist and arguably the uncle of object oriented programming . Bertrand created the Eiffel programming language. Eiffel is an object-oriented language that is based on a fixed set of powerful principles like Design by Contract and…
