Type Deduction Analysis Supplementary Material

Anonymous

doi:10.5281/zenodo.17570563

Published November 11, 2025 | Version 1.0

Software Open

Type Deduction Analysis Supplementary Material

Anonymous

This repository contains the supplementary material of Type Deduction Analysis, including the source code and the raw results of the experimental evaluation.

Files

Results.pdf

Files (31.2 MB)

Name	Size	Download all
Results.pdf md5:6ad94d79a5473feca8939cac11e71d89	58.3 kB	Preview Download
TypeDeductionAnalysis-main.zip md5:42fedc346ef0e4059bd60643fed10bf5	31.1 MB	Preview Download

Additional details

Submitted: 2025-11-11

Views

Downloads

Show more details

	All versions	This version
Views	83	83
Downloads	45	45
Data volume	313.5 MB	313.5 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

License: GNU General Public License v3.0 or later

Permissions of this strong copyleft license are conditioned on making available complete source code of licensed works and modifications, which include larger works using a licensed work, under the same license. Copyright and license notices must be preserved. Contributors provide an express grant of patent rights. Read more

Technical metadata

Created: November 11, 2025
Modified: November 11, 2025

Type Deduction Analysis Supplementary Material

Authors/Creators

Description

Files

Results.pdf

Files (31.2 MB)

Additional details

Dates