Calculating compilers with graded functions

This is the manuscript for "Calculating compilers with graded functions", submitted to JFP for review.

Authors

Ruifeng Xie (ORCID: https://orcid.org/0000-0001-7201-1954)
Tom Schrijvers (ORCID: https://orcid.org/0000-0001-8771-5559)

Institutions

Chinese Academy of Sciences (CN)
Institute of Software (CN)
KU Leuven (BE)

Publication Details

Journal: Zenodo (CERN European Organization for Nuclear Research)
Published: 2026-11-09
DOI: https://doi.org/10.5281/zenodo.23791234
Primary Topic: Logic, programming, and type systems
Type: preprint

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

NOV

preprint

Calculating compilers with graded functions

Ruifeng Xie, Tom Schrijvers

Nov 9, 2026

1 links

Zenodo (CERN European Organization for Nuclear Research)

Logic, programming, and type systems

preprint

Calculating compilers with graded functions

Ruifeng Xie, Tom Schrijvers

November 9, 2026preprint en

Abstract

This is the manuscript for "Calculating compilers with graded functions", submitted to JFP for review.

Zenodo (CERN European Organization for Nuclear Research)

Chinese Academy of Sciences (CN), Institute of Software (CN), KU Leuven (BE)

Logic, programming, and type systems

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon

Calculating compilers with graded functions — Ruifeng Xie, Tom Schrijvers · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS