{"id":"W2020217406","doi":"10.1016/j.scico.2008.09.008","title":"Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code","year":2008,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Programming language; Abstraction; Code (set theory); Domain (mathematical analysis); Overhead (engineering); Gaussian elimination; Substitution (logic); Algorithm; Theoretical computer science; Gaussian; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009225829,0.000354115,0.0004207048,0.0003261865,0.0007893138,0.0005633767,0.001161116,0.00009889714,0.000002807728],"category_scores_gemma":[0.00004362772,0.0002862966,0.0000841374,0.001400453,0.001009681,0.001753436,0.0004896939,0.0002549365,0.0000067702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009360626,"about_ca_system_score_gemma":0.0002781819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007141374,"about_ca_topic_score_gemma":0.00008735814,"domain_scores_codex":[0.9963578,0.00007067139,0.0005646703,0.001118268,0.001040762,0.0008478417],"domain_scores_gemma":[0.9980038,0.0001073497,0.0005350694,0.0006853901,0.0003667028,0.0003016321],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000205712,0.0003764128,0.03466853,0.0001172629,0.00005113202,0.0001167915,0.007265046,0.0007590179,0.004572978,0.006804807,0.00001569976,0.9452317],"study_design_scores_gemma":[0.00376379,0.003028309,0.1337989,0.0001999735,0.00007221814,0.0007118715,0.001904379,0.816987,0.01513302,0.0007859137,0.02115162,0.002463088],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3456519,0.0002632313,0.6527997,0.00004031911,0.0004411506,0.0004668611,8.483921e-7,0.0002749611,0.0000610124],"genre_scores_gemma":[0.6155495,0.000009457901,0.3842336,0.00001979993,0.00009918289,0.0000296378,0.000003096251,0.00001399894,0.0000417007],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9427686,"threshold_uncertainty_score":0.9999589,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04999646401566613,"score_gpt":0.2701197069315918,"score_spread":0.2201232429159256,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}