Skip to search formSkip to main contentSkip to account menu

Dutch national flag problem

Known as: DNF 
The Dutch national flag problem (DNF) is a computer science programming problem proposed by Edsger Dijkstra. The flag of the Netherlands consists of… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Dependently typed programmers are encouraged to use inductive families to integrate constraints with data construction. Different…