权威例句
Reified Temporal Theories and How To Unreify ThemTemplate meta-programming for HaskellNikola:embedding compiled GPU functions in HaskellImplementing first-class polymorphic delimited continuations by a type-directed selective CPS-transformEmbedded interpretersInductive reasoning about effectful data typesCertain conjunctive query answering in first-order logicContinuation Semantics and Self-adjointnessClass Acts: Indian American High School Students Negotiate Professional and Ethnic Identities.Architectural Reflection: Concepts, Design, and Evaluation