Matthew Flatt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged type soundness

Road Type Estimation by Wavelet Analysis of Running Tire SoundKensuke Hayashi, Seiichi Shin. ijwmip, 8(4):645-657, 2010. [doi]

Completeness and partial soundness results for intersection and union typing for lambda:::_:::µµ:::_:::Steffen van Bakel. APAL, 161(11):1400-1430, 2010. [doi]

Faith, hope, and love: an essay on software science's neglect of human factorsHanenberg, Stefan. In OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 2010: [doi]

A Machine-Checked Proof for a Product-Line-Aware Type SystemThomas Thüm. Master's thesis, University of Magdeburg, Germany, January 2010.

Mint: A Multi-stage Extension of Java (Purdue University Computer Science Colloquia)Mathias Ricken. March 2010.

Mint: Java multi-stage programming using weak separabilityEdwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha. PLDI 2010: 400-411 [doi]

Masked types for sound object initializationXin Qi, Andrew C. Myers. POPL 2009: 53-65 [doi]

Coinductive big-step operational semanticsXavier Leroy, Hervé Grall. iandc, 207(2):284-304, 2009. [doi]

Formal verification of a realistic compilerXavier Leroy. CACM, 52(7):107-115, 2009. [doi]

Multi-stage Programming for Mainstream Languages (TR09-02)Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha. Technical Report TR09-02, 2009.

Typed DatalogDavid Zook, Emir Pasalic, Beata Sarna-Starosta. PADL 2009: 168-182 [doi]

Shifting the stage: staging with delimited controlYukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan. PEPM 2009: 111-120 [doi]

Cryptographically sound implementations for typed information-flow securityCédric Fournet, Tamara Rezk. POPL 2008: 323-335 [doi]

Sound and Complete Type Inference for a Systems Programming LanguageSwaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith. aplas 2008: 290-306 [doi]

Type inference for datalog and its application to query optimisationOege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere. PODS 2008: 291-300 [doi]

Sound and extensible renaming for javaMax Schäfer, Torbjörn Ekman, Oege de Moor. OOPSLA 2008: 277-294 [doi]

Computationally Sound Typing for Non-interference: The Case of Deterministic EncryptionJudicaël Courant, Cristian Ene, Yassine Lakhnech. fsttcs 2007: 364-375 [doi]

Formalizing and verifying semantic type soundness of a simple compilerNick Benton, Uri Zarfaty. ppdp 2007: 1-12 [doi]

The Analysis of Key Typing Sounds using Self Organizing MapsHiroshi Dozono, Shinsuke Ito, Hisao Tokushima, Masanori Nakakuni. csreaSAM 2007: 337-341

Soundness of the simply typed lambda calculus in ACL2Sol Swords, William R. Cook. acl2 2006: 35-39 [doi]

Coinductive Big-Step Operational SemanticsXavier Leroy. ESOP 2006: 54-68 [doi]

Method Inlining, Dynamic Class Loading, and Type SoundnessNeal Glew, Jens Palsberg. jot, 4(8):33-53, 2005. [doi]

Types with semantics: soundness proof assistantOlha Shkaravska. ICFP 2005: 50-57 [doi]

A Language for Generic ProgrammingJeremy G. Siek. PhD thesis, Indiana University, August 2005.

A Visual Environment for Developing Context-Sensitive Term Rewriting SystemsJacob Matthews, Robby Findler, Matthew Flatt, Matthias Felleisen. RTA 2004: 301-311 [doi]

Sound and Decidable Type Inference for Functional DependenciesGregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann. ESOP 2004: 49-63 [doi]

Continuation-Based Partial Evaluation without ContinuationsPeter Thiemann. SAS 2003: 366-382 [doi]

Syntactic Type Soundness Results for the Region CalculusCristiano Calcagno, Simon Helsen, Peter Thiemann. iandc, 173(2):199-221, 2002. [doi]

Automating Type Soundness Proofs via Decision Procedures and Guided ReductionsDon Syme, Andrew D. Gordon. lpar 2002: 418-434 [doi]

Syntactic Type Soundness for HM(X)Christian Skalka, François Pottier. ENTCS, 75:61-74, 2002. [doi]

A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit SubstitutionsCatarina Coquand. lisp, 15(1):57-90, 2002.

WWW Delivery of Graph-Based, Multi-Level Multimedia Systems: Interaction over Scientific, Industrial and Educational DataMike F. Webster, Ioannis Deliyannis. iadis 2002: 607-612

Syntactic Type Soundness for the Region CalculusSimon Helsen, Peter Thiemann. ENTCS, 41(3):1-19, 2000. [doi]

Proving ML Type Soundness Within CoqCatherine Dubois. tphol 2000: 126-144

MetaML and multi-stage programming with explicit annotationsWalid Taha, Tim Sheard. TCS, 248(1-2):211-242, 2000. [doi]

Two Types of Sound Tool for Editing Speech Signal: Sound Cutter and Symbolic Sound EditorTomoko Sagisaka, Tsutomu Munakata. icmcs 1999: 1020-1021 [doi]

Soundness of the Logical Framework for Its Typed Operational SemanticsHealfdene Goguen. tlca 1999: 177-197 [doi]

Describing the Semantics of Java and Proving Type SoundnessSophia Drossopoulou, Susan Eisenbach. java 1999: 41-82 [doi]

Is the Java Type System Sound?Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid. tapos, 5(1):3-24, 1999.

Proving Java Type SoundnessDon Syme. java 1999: 83-118 [doi]

A study on the natural-sounding Japanese phonetic word synthesis by using the VCV-balanced word database that consists of the words uttered forcibly in two types of pitch accentRyo Mochizuki, Yasuhiko Arai, Takashi Honda. interspeech 1998: [doi]

A Sound Polymorphic Type System for a Dialect of CGeoffrey Smith, Dennis M. Volpano. SCP, 32(1-3):49-72, 1998.

Type SystemsLuca Cardelli. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2208-2236, CRC Press, 1997.

Schema Evolution in Object Databases by CatalogsAnne Pons, Rudolf K. Keller. ideas 1997: 368-378

An Axiomatic Model of Dynamic Schema Evolution in Objectbase SystemsRandal J. Peters, M. Tamer Özsu. TODS, 22(1):75-114, 1997. [doi]

A Sound Type System for Secure Flow AnalysisDennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith. jcs, 4(2/3):167-188, 1996.

A Type Soundness Proof for Variables in LCF MLDennis M. Volpano, Geoffrey Smith. ipl, 56(3):141-146, 1995. [doi]

Sound Polymorphic Type Inference for ObjectsJonathan Eifrig, Scott F. Smith, Valery Trifonov. OOPSLA 1995: 169-184

A Syntactic Approach to Type SoundnessAndrew K. Wright, Matthias Felleisen. Information and Computation, 115(1):38-94, 11 1994. [doi]

A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type ProceduresWerner Damm, Bernhard Josko. ACTA, 20:59-101, 1983.

runs on WebDSL