Between Dec 19, 2024 and Jan 2, 2025, datasets can be submitted to DRUM but will not be processed until after the break. Staff will not be available to answer email during this period, and will not be able to provide DOIs until after Jan 2. If you are in need of a DOI during this period, consider Dryad or OpenICPSR. Submission responses to the UDC may also be delayed during this time.

Statistics for RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions

Total visits

views
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions 41

Total visits per month

views
June 2024 0
July 2024 0
August 2024 0
September 2024 0
October 2024 0
November 2024 0
December 2024 0

File Visits

views
rada_fse2013.pdf 178

Top country views

views
United States 30
China 3
Argentina 1
Germany 1
Hong Kong SAR China 1
Ireland 1
Italy 1
Poland 1
Russia 1
Singapore 1

Top city views

views
Ashburn 24
Boardman 3
Zhengzhou 2
Central 1
Czluchow 1
Des Moines 1
Dublin 1
Minneapolis 1
Novoye Devyatkino 1
San Giuliano Milanese 1
Singapore 1