Type Theory and Practical Application

Functional programming for production quality code

Working with functional data structures

F# for functional enthusiasts

Semantically coherent functional linear data structures

Intoduction to Homotopy Type Therory

Linear structures lightning talk

Functional linear data structures in f#

Effective Heuristics for NP-Hard Problems Arising in Molecular Biology Richard M. Karp Bangalore, January 5, 2011.

Stuttering Inhibition during the Perception of Infrared Kinematic Marker Movements Research by: Daniel Hudock, Ph.D. 1, Lin Sun, M.Ed. 2, Skye Lewis, M.S.

Lecture 4 Lecture 4: Conditional Probability 1 Conditional Probability, Total Probability Rule Instructor: Kaveh Zamani Course material mainly developed.

Single nucleotide polymorphisms (SNP’s) of hypoxia-related genes correlate with pathological complete response following neoadjuvant chemoradiation for.

Reference/Insperation TED Talk: Dan Pallotta: The way we think.

Tools for reading papers

Introduction to the lambda calculus