{"id":"https://openalex.org/W2951549658","doi":"https://doi.org/10.1145/3341713","title":"Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks","display_name":"Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks","publication_year":2019,"publication_date":"2019-07-26","ids":{"openalex":"https://openalex.org/W2951549658","doi":"https://doi.org/10.1145/3341713","mag":"2951549658"},"language":"en","primary_location":{"id":"doi:10.1145/3341713","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3341713","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3341713","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3341713","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015853763","display_name":"Patrick Bahr","orcid":"https://orcid.org/0000-0003-1600-8261"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Patrick Bahr","raw_affiliation_strings":["IT University of Copenhagen, Denmark","IT-University of Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"IT-University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050420775","display_name":"Christian Uldal Graulund","orcid":"https://orcid.org/0000-0003-3297-9471"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Christian Uldal Graulund","raw_affiliation_strings":["IT University of Copenhagen, Denmark","IT-University of Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"IT-University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045780288","display_name":"Rasmus Ejlers M\u00f8gelberg","orcid":"https://orcid.org/0000-0003-0386-4376"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Rasmus Ejlers M\u00f8gelberg","raw_affiliation_strings":["IT University of Copenhagen, Denmark","IT-University of Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"IT-University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5015853763"],"corresponding_institution_ids":["https://openalex.org/I83467386"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0901179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"ICFP","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5693181753158569},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5602068305015564},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5035015940666199},{"id":"https://openalex.org/keywords/functional-reactive-programming","display_name":"Functional reactive programming","score":0.4978675842285156},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47200748324394226},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4367374777793884},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.42954200506210327},{"id":"https://openalex.org/keywords/centralizer-and-normalizer","display_name":"Centralizer and normalizer","score":0.4232552647590637},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.418793261051178},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.35869479179382324},{"id":"https://openalex.org/keywords/reactive-programming","display_name":"Reactive programming","score":0.3517012894153595},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.2956358790397644},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2453974485397339},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12152761220932007},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10417664051055908}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5693181753158569},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5602068305015564},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5035015940666199},{"id":"https://openalex.org/C119489759","wikidata":"https://www.wikidata.org/wiki/Q5508843","display_name":"Functional reactive programming","level":5,"score":0.4978675842285156},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47200748324394226},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4367374777793884},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.42954200506210327},{"id":"https://openalex.org/C75174853","wikidata":"https://www.wikidata.org/wiki/Q190629","display_name":"Centralizer and normalizer","level":2,"score":0.4232552647590637},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.418793261051178},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.35869479179382324},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.3517012894153595},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2956358790397644},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2453974485397339},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12152761220932007},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10417664051055908},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3341713","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3341713","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3341713","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1903.05879","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1903.05879","pdf_url":"https://arxiv.org/pdf/1903.05879","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2951549658","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1903.05879","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1903.05879","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1903.05879","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3341713","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3341713","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3341713","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.44999998807907104}],"awards":[{"id":"https://openalex.org/G4379510220","display_name":null,"funder_award_id":"13156","funder_id":"https://openalex.org/F4320310490","funder_display_name":"Villum Fonden"}],"funders":[{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2951549658.pdf","grobid_xml":"https://content.openalex.org/works/W2951549658.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W20138908","https://openalex.org/W1967944368","https://openalex.org/W1991984504","https://openalex.org/W1995969393","https://openalex.org/W2010337608","https://openalex.org/W2023808162","https://openalex.org/W2041337116","https://openalex.org/W2045396951","https://openalex.org/W2049440551","https://openalex.org/W2079512738","https://openalex.org/W2096936728","https://openalex.org/W2116813111","https://openalex.org/W2132181573","https://openalex.org/W2139695229","https://openalex.org/W2143623703","https://openalex.org/W2146253762","https://openalex.org/W2158789193","https://openalex.org/W2162492115","https://openalex.org/W2743482027","https://openalex.org/W2798556801","https://openalex.org/W2945188579","https://openalex.org/W3104826616","https://openalex.org/W4236134058"],"related_works":["https://openalex.org/W2921092671","https://openalex.org/W2030449944","https://openalex.org/W181154243","https://openalex.org/W2501853541","https://openalex.org/W1991554695","https://openalex.org/W1608321053","https://openalex.org/W2140447075","https://openalex.org/W1534323856","https://openalex.org/W1579518864","https://openalex.org/W1490031588","https://openalex.org/W2565370635","https://openalex.org/W2127317841","https://openalex.org/W2144058993","https://openalex.org/W2340608611","https://openalex.org/W2034781759","https://openalex.org/W2272418519","https://openalex.org/W66113185","https://openalex.org/W2087062265","https://openalex.org/W2604777673","https://openalex.org/W2587640"],"abstract_inverted_index":{"Functional":[0],"reactive":[1,18,110],"programming":[2,8],"(FRP)":[3],"is":[4],"a":[5,21,105,118,135,141,161],"paradigm":[6],"for":[7,109,140],"with":[9],"signals":[10],"and":[11,41,49,96,129],"events,":[12],"allowing":[13],"the":[14,87,94,126,199],"user":[15],"to":[16,28,63,67,80,93,121,187,195],"describe":[17],"programs":[19,38,131,154],"on":[20],"high":[22],"level":[23],"of":[24,163,174],"abstraction.":[25],"For":[26],"this":[27,53],"make":[29],"sense,":[30],"an":[31,77,146,184],"FRP":[32,56,84,170],"language":[33],"must":[34],"ensure":[35],"that":[36,149],"all":[37],"are":[39],"causal,":[40],"can":[42],"be":[43,196],"implemented":[44],"without":[45,155],"introducing":[46],"space":[47,156],"leaks":[48,165],"time":[50,164],"leaks.":[51,157],"To":[52],"end,":[54],"some":[55],"languages":[57,85],"do":[58],"not":[59,194],"give":[60],"direct":[61,91],"access":[62,92],"signals,":[64],"but":[65],"just":[66],"signal":[68,95],"functions.":[69],"Recently,":[70],"modal":[71,107,122,169],"types":[72],"have":[73],"been":[74],"suggested":[75],"as":[76],"alternative":[78],"approach":[79,120],"ensuring":[81],"causality":[82],"in":[83,86,167,177,198],"synchronous":[88],"case,":[89],"giving":[90],"event":[97],"abstractions.":[98],"This":[99],"paper":[100],"presents":[101],"Simply":[102,115,152],"RaTT":[103,116,153],",":[104],"new":[106],"calculus":[108],"programming.":[111],"Unlike":[112],"prior":[113],"calculi,":[114],"uses":[117],"Fitch-style":[119,181],"types,":[123],"which":[124,192],"simplifies":[125],"type":[127],"system":[128],"makes":[130],"more":[132,200],"concise.":[133],"Echoing":[134],"previous":[136],"result":[137],"by":[138],"Krishnaswami":[139],"different":[142],"language,":[143],"we":[144],"devise":[145],"operational":[147],"semantics":[148],"safely":[150],"executes":[151],"We":[158],"also":[159],"identify":[160],"source":[162],"present":[166],"other":[168],"languages:":[171],"The":[172,180],"unfolding":[173],"fixed":[175],"points":[176],"delayed":[178],"computations.":[179],"presentation":[182],"allows":[183],"easy":[185],"way":[186],"rules":[188],"out":[189],"these":[190],"leaks,":[191],"appears":[193],"possible":[197],"traditional":[201],"dual":[202],"context":[203],"approach.":[204]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}