DetailsA Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions Kedar Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic A Monadic Approach for Avoiding Code Duplication when Staging Memoized
DetailsGaussian Elimination: a case study in efficient genericity with MetaOCaml Jacques Carette Gaussian Elimination: a case study in efficient genericity with