jack-fox documents

Type Theory and Practical Application
Software Type Theory and Practical Application
Functional programming for production quality code
Software Functional programming for production quality code
Working with functional data structures
Technology Working with functional data structures
F# for functional enthusiasts
Technology F# for functional enthusiasts
Semantically coherent functional linear data structures
Entertainment & Humor Semantically coherent functional linear data structures
Intoduction to Homotopy Type Therory
Science Intoduction to Homotopy Type Therory
Linear structures lightning talk
Technology Linear structures lightning talk
Functional linear data structures in f#
Technology Functional linear data structures in f#
Effective Heuristics for NP-Hard Problems Arising in Molecular Biology Richard M. Karp Bangalore, January 5, 2011
Documents 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
Documents 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
Documents 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
Documents 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
Documents Reference/Insperation TED Talk: Dan Pallotta: The way we think
Tools for reading papers
Software Tools for reading papers
Introduction to the lambda calculus
Technology Introduction to the lambda calculus