output
19942025
most citedPhotoferroelectric oxides

315 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2018★ 2 cited

A Practical Mode System for Recursive Definitions

Alban Reynaud, Gabriel Scherer, Jeremy Yallop

In call-by-value languages, some mutually-recursive value definitions can be safely evaluated to build recursive functions or cyclic data structures, but some definitions (let rec…