Jack Fox

20 Abonné

Experienced engineering leader over all areas of SaaS development and production, including application programming, DBA, QA, and IT. Hands-on experience and fully qualified in virtually every technology I have led. Expert in applications software architecture and development for diverse industries including energy, health care, insurance, media, real estate, and government. My Guiding Principles: -- Engineering organizations need leadership. -- Managing is for things. Recent Accomplishments: -- Key contributor to a start-up achieving industry dominance. Bought-out by a Fortune 200 company. -- Led several production data center migrations for high-volume 24X7 web sites. -- Author...

f# fsharp f# datastructures functional programming fsharp data structures dependent types types dependenttypes datastructures lambda calculus lambdacalculus programming types f# fsharp f# fsharp clojure fsharp.org

Tout plus

Activité
À propos

Jack Fox

Présentations

Functional linear data structures in f#

Linear structures lightning talk

Semantically coherent functional linear data structures

F# for functional enthusiasts

Type Theory and Practical Application

Intoduction to Homotopy Type Therory

Functional programming for production quality code

Tools for reading papers

Introduction to the lambda calculus

Dependent Types

Dependent Types make bad data unrepresentable

J’aime

Blockchain (using NBitcoin and FSharp)

Microsoft SQL Server Relational Databases and Primary Keys

Augury and Omens Aside, Part 1:  The Business Case for Apache Mesos

iOS App Development with F# and Xamarin

The Search for the Perfect Program

ACM Bay Area Data Mining Workshop: Pattern, PMML, Hadoop

Boulder/Denver BigData: Cluster Computing with Apache Mesos and Cascading

Cascading: Enterprise Data Workflows based on Functional Programming

Unraveling the mystery of monads