BECOME A MENTORSIGN UPLOG IN
Find MentorsFind FreelancersHow It WorksBECOME A MENTOR
SIGN UP
LOG IN

Online Type Theory Expert HelpGet Online Type Theory Expert Help in 6 Minutes

At Codementor, you’ll find top Type Theory experts, developers, consultants, and tutors. Get your project built, code reviewed, or problems solved by vetted Type Theory freelancers. Learn from expert mentors with team training & coaching experiences. Whatever the case may be, find the Type Theory help you need in no time.

Type Theory

Get help from vetted Type Theory experts

See all technologies
Type Theory Expert to Help - Jonathon Bell
Type Theory Expert to Help - Jonathon Bell
Jonathon Bell
US$15 / 15 mins5.0 (31 reviews)
first 15 mins free badge
Principle Software Engineer - Programming Language Guru - Compiler Wizard
Superb C++, Haskell, Scala, FP, and OO design chops. Expert at designing compilers, type systems, frameworks, and embedded programming languages. Strong background in pure mathe...
C++HaskellScalaFunctional ProgrammingComputer ScienceCompiler ConstructionCode GenerationBoostSchemeLanguage designMathcadMLCategory TheoryLinear AlgebraModern c++Apache FlexBisonOOP (Object-Oriented Programming)MIDIAbstract algebraPure mathematicsMathematical logicProgram transformationType inferenceType systemsYACCLexSemantic WebApache SparkJavaFXBig DataPerformance Optimization
Type Theory Expert to Help - Etienne Laurin
Type Theory Expert to Help - Etienne Laurin
Etienne Laurin
US$30 / 15 mins5.0 (4 reviews)
first 15 mins free badge
Software Whisperer
I've been coding since I was nine and I still love it. I've worked as a freelancer for very large and very small businesses. I've worked for SF bay area startups and I've contribut...
Type TheoryC++HaskellPythonCShellPrologNixJavaScriptEs7Es6Mobile App DevelopmentmacOSExpress.jsVue.jsMakefilejQueryVuexNode.jsHydraNixOSPackagingDeployment automationSwi prologLogic ProgrammingDeclarative programmingDockerGitGrepFreeBSDLinuxBashGTKBuildbotPipType systemsTypesC++11
Type Theory Expert to Help - Calum McCall
Type Theory Expert to Help - Calum McCall
Calum McCall
US$50 / 15 mins5.0 (2 reviews)
first 15 mins free badge
Experienced Scala/Android Developer | Expert Mentor
I'm a Scotsman who lives in Berlin. I'm a bit of a perfectionist, I'm passionate about producing the best quality software I can. I'm currently doing a lot of functional programmi...
Type TheoryScalaJavaC#AndroidHaskellServerSoftware DevelopmentFunctional ProgrammingCJavaScriptLinux System AdministrationJava SwingAWS (Amazon Web Services)Distributed Systems EngineeringMVCWindows ApplicationRESTful Web ServicesASP.NETCSSClojureReactive ProgrammingAmazonHTMLBootstrapLESSHTML/CSSPthreadsNetwork ProgrammingSystems ProgrammingJiraGitTesting techniquesTestingImplementationDesignRequirements GatheringFirewallsSystemdDockerLinux ContainersLinuxGhcCyanogenmodAndroid StudioReactEntity FrameworkJVMAkkaWPF (Windows Presentation Foundation)
Type Theory Expert to Help - Joseph Abrahamson
Type Theory Expert to Help - Joseph Abrahamson
Joseph Abrahamson
US$30 / 15 mins
first 15 mins free badge
Functional programmer, data scientist, biomedical engineer, startup CTO in clini...
Hi, I'm an engineer with programming experience in many languages and domains ranging from scientific programming, data science/machine learning/statistics, scientific computing, a...
Type TheoryHaskellData ScienceClojureStatisticsMachine LearningReactDatabaseMathematicsJavaScriptSQLPythonNode.jsGitHTML/CSSEs6Web DevelopmentFiber opticsFunctional ProgrammingVisualisationData structureDSLAlgebraCategory TheorySpeech RecognitionHypothesis testingStory tellingExploratory Data AnalysisMatricesBayesianFrequentistHierarchical modelsBig DataPattern recognitionFront-EndDatabase NormalizationMeteorImmutable.jsNumPyScipyNltk
Type Theory Expert to Help - Nathan Bouscal
Type Theory Expert to Help - Nathan Bouscal
Nathan Bouscal
US$25 / 15 mins
first 15 mins free badge
Haskeller
I'm a functional programmer with professional Haskell experience. Most of my work has been in web programming, so I'm comfortable with all of the relevant web technologies. I'm als...
Type TheoryHaskellGitSQLFunctional ProgrammingMergingBranchingMonadsCategory TheoryGitHubVersion controlPostgreSQLMySQLDatabase
opening quotation mark

Within 15 min, I was online with a seasoned engineer who was editing my code and pointing out my errors … this was the first time I’ve ever experienced the potential of the Internet to transform learning.

Tomasz Tunguz Codementor Review
Tomasz Tunguz
Venture capitalist at
Redpoint Ventures
John Doherty Codementor Review
Chris Scott Codementor Review
GET STARTED
closing quotation mark

View all Type Theory experts on Codementor

Want to become a Type Theory Codementor?

How to get online Type Theory expert help on Codementor?

Post a Type Theory request
arrow
STEP 1

Post a Type Theory request

We'll help you find the best freelance Type Theory experts for your needs.
Review & chat with Type Theory experts
arrow
STEP 2

Review & chat with Type Theory experts

Instantly message potential Type Theory expert mentors before working with them.
Start a live session or create a job
STEP 3

Start a live session or create a job

Get Type Theory help by hiring an expert for a single call or an entire project.

Codementor is ready to help you with Type Theory

Online Type Theory expert help

Live mentorship

Supercharge and tailor your Type Theory learning experience with the ideal mentor.
Freelance Type Theory developer job

Freelance job

Get hands-on guidance or hands-off simplicity by hiring Type Theory freelancers.