Skip to content

Add the "practical partial evaluation" paper. - #128

Merged
ltratt merged 1 commit into
softdevteam:masterfrom
ltratt:wuerthinger17practical
Oct 6, 2026
Merged

Add the "practical partial evaluation" paper.#128
ltratt merged 1 commit into
softdevteam:masterfrom
ltratt:wuerthinger17practical

Add the "practical partial evaluation" paper.

57c5d2d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
dummy
succeeded Oct 6, 2026 in 3s