{"title":"Formalizing Resourve Allocation in a Compiler","authors":"Peter Thiemann","doi":"10.1007/BFb0055518","DOIUrl":"https://doi.org/10.1007/BFb0055518","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"52 1","pages":"178-193"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87063922","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler","authors":"A. Bernard, R. Harper, Peter Lee","doi":"10.1007/BFb0055512","DOIUrl":"https://doi.org/10.1007/BFb0055512","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"95 1","pages":"53-77"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83969041","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Garbage Collection via Dynamic Type Inference - A Fomal Treatment","authors":"H. Hosoya, A. Yonezawa","doi":"10.1007/BFb0055520","DOIUrl":"https://doi.org/10.1007/BFb0055520","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"95 1","pages":"215-239"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78734138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Optimizing ML Using a Hierarchy of Monadic Types","authors":"A. Tolmach","doi":"10.1007/BFb0055514","DOIUrl":"https://doi.org/10.1007/BFb0055514","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"15 1","pages":"97-115"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83440702","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Andrew K. Wright, S. Jagannathan, C. Ungureanu, Aaron Hertzmann
{"title":"Compiling Java to a Typed Lambda-Calculus: A Preliminary Report","authors":"Andrew K. Wright, S. Jagannathan, C. Ungureanu, Aaron Hertzmann","doi":"10.1007/BFb0055510","DOIUrl":"https://doi.org/10.1007/BFb0055510","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"281 1","pages":"9-27"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76805783","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An Approach to Improve Locality Using Sandwich Types","authors":"Daniela Genius, M. Trapp, W. Zimmermann","doi":"10.1007/BFb0055519","DOIUrl":"https://doi.org/10.1007/BFb0055519","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"41 1","pages":"194-214"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77703580","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation","authors":"V. Balat, O. Danvy","doi":"10.1007/BFb0055521","DOIUrl":"https://doi.org/10.1007/BFb0055521","url":null,"abstract":"","PeriodicalId":76739,"journal":{"name":"Tic","volume":"34 1","pages":"240-252"},"PeriodicalIF":0.0,"publicationDate":"1998-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84411434","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：