That's one group of examples. Another group is languages that are not strict. Haskell is perhaps the most prominent one.

Programs compiled with GHC do use 'the stack', but for pattern matching, not for function calls. Whether 'stack frames' (ie the information associated with a function invocation) go on the heap or elsewhere is a bit complicated. Especially since the compiler does so much analysis and optimization.

Also eg, an implementation of Unlambda (based on SKI-calculus) wouldn't necessarily have a stack either.