Tags javascript

Gödel's System T in TypeScript

Experimenting with a rudimentary type system that ensures the programs always terminate.

On Recursive Functions

Lambda Calculus and the Y combinator in JavaScript.

Implementing a Regular Expression Engine

Using the Thompson's construction algorithm.

KendoUI TreeList Load on Demand

How to lazily load the descendant items of a record in a TreeList.

Validate any DOM element with the KendoUI validator

Not only inputs.