33 citations · 33 across the 2 of their papers we have counts for
5 papers
Haskell's overlooked object system
Oleg Kiselyov, Ralf Laemmel
Haskell provides type-class-bounded and parametric polymorphism as opposed to subtype polymorphism of object-oriented languages such as Java and OCaml. It is a contentious question…
Subclassing errors, OOP, and practically checkable rules to prevent them
Oleg Kiselyov
This paper considers an example of Object-Oriented Programming (OOP) leading to subtle errors that break separation of interface and implementations. A comprehensive principle that…
Type Arithmetics: Computation based on the theory of types
Oleg Kiselyov
The present paper shows meta-programming turn programming, which is rich enough to express arbitrary arithmetic computations. We demonstrate a type system that implements Peano ari…
Secure Counting: counting members of a subset without revealing their identities
Oleg Kiselyov
Suppose there is a group of N people some of whom possess a specific property. For example, their wealth is above or below a threshold, they voted for a particular candidate, they…
Why C++ is not very fit for GUI programming
Oleg Kiselyov
With no intent of starting a holy war, this paper lists several annoying C++ birthmarks that the author has come across developing GUI class libraries. C++'s view of classes, insta…