align-toparrow-leftarrow-rightbackbellblockcalendarcamerachatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditfacebookglobegoogleimagesinstagramlocation-pinmagnifying-glassmailmoremuplabelShape 3 + Rectangle 1outlookpersonplusImported LayersImported LayersImported Layersshieldstartwitteryahoo

David T.

Location:

Redmond, WA

Member since:

December 16, 2011

Networks

Introduction

F# Developer on a 3 year project to port the Isabelle Proof Assistant /Higher Order Logic system to .NET using F#. Currently working on Bing.3dMap Control and studying the Coq\Gallina Dependently Typed Programming Language.


Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy