В данном случае Ваш код свидетельствует о том, что в конкретном движке задан один и тот же “размер” стека (скорее всего — даже не сам физический размер памяти, а допустимое количество рекурсивного выделения нового стек-фрейма — т.е. то, что и содержит Ваша переменная COUNTER).

Передача всегда идет по значению. В случае примитива — сам примитив. В случае объекта — его адрес.

Схематично:

V = {};

CallStack = [
  frame_1: {arg: addr(V)},
  frame_2: {arg: addr(V)},
  // и т.д. до Stack Overflow
];

где схематичная функция addr(...) возвращает копию адреса объекта.

Примитив:

V = "foo";

CallStack = [
  frame_1: {arg: "foo"},
  frame_2: {arg: "foo"},
  // и т.д. до Stack Overflow
];

В случае объекта присвоение аргументу внутри функции лишь меняет его значение на новый адрес, но не модифицирует значение по старому адресу.

Также я эту тему описывал в разделе Name Binding статьи Lexical Environments. Рекомендую к прочтению — там наглядно видно, что происходит при присвоении (rebinding) и модификации свойств (mutation).

V={};
COUNTER=0;
(function recourse(arg){
	COUNTER++;
	recourse(arg);
})(V);

После того, как произойдёт переполнение стека, можно глянуть, каково значение у COUNTER. После этого V можно присвоить значение простого типа, например, строку.
У меня для разных типов одно и то же значение. Можно ли, исходя из этого, сказать, что любой аргумент передаётся по копии ссылки?
Спасибо.

Да, я знаю того Дмитрия Сошникова, и даже встречался с ним на одной из конференций в Москве

Невероятное совпадение то что ваш однофамилец Дмитрий Сошников был преподавателем в институте (когда я там учился) и он также занимается функциональными ЯП, вот, например,
его страница на озоне ozon.ru/context/detail/id/6210136/

вот такие совпадения бывают