Search for tag: "constraints"

cos326-2020-17-03-type-inference-1

Type Checking: Part 3: Type Inference (Simple Types)

From  Daniel Macleod on August 16th, 2020 0 likes 143 plays

Probing the diffusional enhancements of mesopores in hierarchical zeolites during liquid-phase Friedel-Crafts alkylation of 1,3,5-trimethylbenzene with benzyl alcohol

Zeolites are crystalline, solid Brønsted acid catalysts with tunable micropore (< 2 nm diameters) networks that act as molecular sieves by selectively accommodating molecules based on size.…

From  Research Princeton Research Day on April 29th, 2020 0 likes 31 plays