Homepage
Sign in / Sign up
Namdak Tonpa

Namdak Tonpa

Erlang Monk

Editor of Functional Programming
85 Following395 Followers
  • Profile
  • Latest
  • Claps
Latest
Go to the profile of Namdak Tonpa
Namdak Tonpa in Functional Programming
Feb 17, 2016

Natural Encoding of the Inner Space

Dependent λ Calculus /w Infinite Universes

Read more…
Go to the profile of Namdak Tonpa
Namdak Tonpa
Jan 31, 2015

Create a World in a Language

Trends in moving to WebSockets and Unikernels.

Read more…
Go to the profile of Namdak Tonpa
Namdak Tonpa in Functional Programming
Aug 26, 2014

One Tool to Rule

Develop, Build and Deploy with one simple tool for all services.

Read more…