Showing 1–17 of 17 results
/ Date/ Name
Sep 23, 2025Compilation as Multi-Language SemanticsSep 23, 2025Macro-embedding Compiler Intermediate Languages in RacketAug 6, 2025Improved limits on the 21cm signal at z=6.5-7.0 with the MWA using Gaussian informationMay 14, 2025Limits on the 21 cm power spectrum at z=6.5-7.0 from MWA observationsJul 9, 2024Type Universes as Allocation EffectsOct 7, 2021Epoch of Reionization Power Spectrum Limits from Murchison Widefield Array Data Targeted at EoR1 FieldJul 30, 2021Constraining the 21cm brightness temperature of the IGM at $z$=6.6 around LAEs with the Murchison Widefield ArrayJul 2, 2021Dependent Type Systems as MacrosMay 27, 2021A new MWA limit on the 21 cm Power Spectrum at Redshifts $\sim$ 13 $-$ 17Mar 8, 2021Global 21-cm Cosmology from the Farside of the MoonFeb 7, 2020Deep multi-redshift limits on Epoch of Reionisation 21cm Power Spectra from Four Seasons of Murchison Widefield Array ObservationsDec 11, 2019Is Sized Typing for Coq Practical?Apr 24, 2019Design for a 10 KeV Multi-Pass Transmission Electron MicroscopeFeb 16, 2019Dark Cosmology: Investigating Dark Matter & Exotic Physics in the Dark Ages using the Redshifted 21-cm Global SpectrumSep 18, 2018Assessment of ionospheric activity tolerances for Epoch of Reionisation science with the Murchison Widefield ArrayAug 12, 2018Typed Closure Conversion for the Calculus of ConstructionsSep 24, 2014The Q_weak Experimental Apparatus