权威例句
Reified Temporal Theories and How To Unreify Them
Template meta-programming for Haskell
Nikola:embedding compiled GPU functions in Haskell
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
Embedded interpreters
Inductive reasoning about effectful data types
Certain conjunctive query answering in first-order logic
Continuation Semantics and Self-adjointness
Class Acts: Indian American High School Students Negotiate Professional and Ethnic Identities.
Architectural Reflection: Concepts, Design, and Evaluation
