Functional Programming

  1. Advanced Topics
    1. Category Theory Foundations
      1. Categories and Morphisms
        1. Functors in Category Theory
          1. Natural Transformations
            1. Limits and Colimits
              1. Adjunctions
              2. Type Theory
                1. Simply Typed Lambda Calculus
                  1. System F
                    1. Dependent Types
                      1. Linear Types
                        1. Effect Types
                        2. Program Verification
                          1. Formal Verification
                            1. Theorem Proving
                              1. Model Checking
                                1. Contract-Based Programming
                                2. Compiler Design for Functional Languages
                                  1. Parsing Functional Syntax
                                    1. Type Checking and Inference
                                      1. Optimization Passes
                                        1. Code Generation
                                        2. Functional Reactive Programming
                                          1. Reactive Streams
                                            1. Event Handling
                                              1. Time-Varying Values
                                                1. Functional Reactive Programming Libraries

                                              Previous

                                              8. Performance Considerations

                                              Go to top

                                              Next

                                              10. Further Study and Resources