{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:30Z","timestamp":1772163930775,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159809","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"38-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Static typing for a faulty lambda calculus"],"prefix":"10.1145","author":[{"given":"David","family":"Walker","sequence":"first","affiliation":[{"name":"Princeton University"}]},{"given":"Lester","family":"Mackey","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"Jay","family":"Ligatti","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"George A.","family":"Reis","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"David I.","family":"August","sequence":"additional","affiliation":[{"name":"Princeton University"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102165"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/871816.871860"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/320080.320111"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/7298.946456"},{"key":"e_1_3_2_1_6_1","first-page":"01.1","volume-title":"IEEE 2002 Reliability Physics Tutorial Notes, Reliability Fundamentals","author":"Baumann R. C.","year":"2002","unstructured":"R. C. Baumann . Soft errors in commercial semiconductor technology: Overview and scaling trends . In IEEE 2002 Reliability Physics Tutorial Notes, Reliability Fundamentals , pages 121_ 01.1 - 0121 _01.14, April 2002 . R. C. Baumann. Soft errors in commercial semiconductor technology: Overview and scaling trends. In IEEE 2002 Reliability Physics Tutorial Notes, Reliability Fundamentals, pages 121_01.1 - 121_01.14, April 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647834.738165"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.15"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258952"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859631"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/829515.830563"},{"key":"e_1_3_2_1_12_1","first-page":"192","volume-title":"Proceedings of the 1992 International Conference on Parallel Processing","volume":"1","author":"Holm J. G.","year":"1992","unstructured":"J. G. Holm and P. Banerjee . Low cost concurrent error detection in a VLIW architecture using replicated instructions . In Proceedings of the 1992 International Conference on Parallel Processing , volume 1 , pages 192 -- 195 , August 1992 . J. G. Holm and P. Banerjee. Low cost concurrent error detection in a VLIW architecture using replicated instructions. In Proceedings of the 1992 International Conference on Parallel Processing, volume 1, pages 192--195, August 1992."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/325164.325147"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.2145"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2005.855685"},{"key":"e_1_3_2_1_16_1","first-page":"95","volume-title":"Stack-based Typed Assembly Language. In Second International Workshop on Types in Compilation","author":"Morrisett G.","year":"1998","unstructured":"G. Morrisett , K. Crary , N. Glew , and D. Walker . Stack-based Typed Assembly Language. In Second International Workshop on Types in Compilation , pages 95 -- 117 , Kyoto , Mar. 1998 . Published in Xavier Leroy and Atsushi Ohori, editors, Lecture Notes in Computer Science, volume 1473, pages 28--52. Springererlag, 1998. G. Morrisett, K. Crary, N. Glew, and D. Walker. Stack-based Typed Assembly Language. In Second International Workshop on Types in Compilation, pages 95--117, Kyoto, Mar. 1998. Published in Xavier Leroy and Atsushi Ohori, editors, Lecture Notes in Computer Science, volume 1473, pages 28--52. Springererlag, 1998."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004178"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224182"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/545215.545227"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238781"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.401.0041"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 2001 International Symposium on Dependable Systems and Networks","author":"Oh N.","year":"2001","unstructured":"N. Oh and E.J. McCluskey . Low energy error detection technique using procedure call duplication . In Proceedings of the 2001 International Symposium on Dependable Systems and Networks , 2001 . N. Oh and E.J. McCluskey. Low energy error detection technique using procedure call duplication. In Proceedings of the 2001 International Symposium on Dependable Systems and Networks, 2001."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.980007"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.994913"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/874064.875617"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2001.972664"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339652"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"e_1_3_2_1_32_1","first-page":"84","volume-title":"Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing","author":"Rotenberg E.","unstructured":"E. Rotenberg . AR-SMT : A microarchitectural approach to fault tolerance in microprocessors . In Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing , page 84 . IEEE Computer Society, 1999. E. Rotenberg. AR-SMT: A microarchitectural approach to fault tolerance in microprocessors. In Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, page 84. IEEE Computer Society, 1999."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.724977"},{"key":"e_1_3_2_1_34_1","volume-title":"Workshop on Types in Compilation","author":"Shao Z.","year":"1997","unstructured":"Z. Shao . An overview of the FLINT\/ML compiler . In Workshop on Types in Compilation , Amsterdam , June 1997 . ACM. Published as Boston College Computer Science Dept. Technical Report BCCS-97-03. Z. Shao. An overview of the FLINT\/ML compiler. In Workshop on Types in Compilation, Amsterdam, June 1997. ACM. Published as Boston College Computer Science Dept. Technical Report BCCS-97-03."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207123"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.914544"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.738394"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.755464"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231414"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2003.1214380"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/545215.545226"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.1996.495891"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/645432.652386"},{"key":"e_1_3_2_1_44_1","volume-title":"SER-History, Trends, and Challenges: A Guide for Designing with Memory ICs","author":"Ziegler J.F.","year":"2004","unstructured":"J.F. Ziegler and H. Puchner . SER-History, Trends, and Challenges: A Guide for Designing with Memory ICs . 2004 . J.F. Ziegler and H. Puchner. SER-History, Trends, and Challenges: A Guide for Designing with Memory ICs. 2004."}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:04:39Z","timestamp":1693843479000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":44,"alternative-id":["10.1145\/1159803.1159809","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159809","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159809","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}