Search results for "TLDI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hyunik Na, Sukyoung Ryu, Kwangmoo Choe	Exact type parameterization and ThisType support.	TLDI	2012	DBLP DOI BibTeX RDF
1	Colin S. Gordon, Michael D. Ernst, Dan Grossman	Static lock capabilities for deadlock freedom.	TLDI	2012	DBLP DOI BibTeX RDF
1	Luís Caires, Frank Pfenning, Bernardo Toninho	Towards concurrent type theory.	TLDI	2012	DBLP DOI BibTeX RDF
1	Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães	Giving Haskell a promotion.	TLDI	2012	DBLP DOI BibTeX RDF
1	Neelakantan R. Krishnaswami	Semantics for graphical user interfaces.	TLDI	2012	DBLP DOI BibTeX RDF
1	Andrea Asperti, Ferruccio Guidi	Type systems for dummies.	TLDI	2012	DBLP DOI BibTeX RDF
1	Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely	Types for relaxed memory models.	TLDI	2012	DBLP DOI BibTeX RDF
1	Benjamin C. Pierce (eds.)	Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, TLDI 2012, Philadelphia, PA, USA, Saturday, January 28, 2012	TLDI	2012	DBLP BibTeX RDF
1	Sam Lindley, James Cheney	Row-based effect types for database integration.	TLDI	2012	DBLP DOI BibTeX RDF
1	John Capper, Henrik Nilsson	Towards a formal semantics for a structurally dynamic noncausal modelling language.	TLDI	2012	DBLP DOI BibTeX RDF
1	Stephanie Weirich, Derek Dreyer (eds.)	Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011	TLDI	2011	DBLP BibTeX RDF
1	Toshiyuki Maeda, Haruki Sato, Akinori Yonezawa	Extended alias type system using separating implication.	TLDI	2011	DBLP DOI BibTeX RDF
1	Jeffrey A. Vaughan	AuraConf: a unified approach to authorization and confidentiality.	TLDI	2011	DBLP DOI BibTeX RDF
1	Simon Winwood, Manuel M. T. Chakravarty	Singleton: a general-purpose dependently-typed assembly language.	TLDI	2011	DBLP DOI BibTeX RDF
1	Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas	A type and effect system for deadlock avoidance in low-level languages.	TLDI	2011	DBLP DOI BibTeX RDF
1	Dominique Devriese, Frank Piessens	Information flow enforcement in monadic libraries.	TLDI	2011	DBLP DOI BibTeX RDF
1	Georges Gonthier	Type design patterns for computer mathematics.	TLDI	2011	DBLP DOI BibTeX RDF
1	Alexandre Pilkiewicz, François Pottier	The essence of monotonic state.	TLDI	2011	DBLP DOI BibTeX RDF
1	Chris Hawblitzel	Type safety from the ground up.	TLDI	2011	DBLP DOI BibTeX RDF
1	Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas	Race-free and memory-safe multithreading: design and implementation in cyclone.	TLDI	2010	DBLP DOI BibTeX RDF	safe multithreading, type and effect systems, region-based memory management, cyclone
1	Jaeheon Yi, Cormac Flanagan	Effects for cooperable and serializable threads.	TLDI	2010	DBLP DOI BibTeX RDF	atomicity, yield, race conditions, effect system
1	Chuan-Kai Lin, Tim Sheard	Pointwise generalized algebraic data types.	TLDI	2010	DBLP DOI BibTeX RDF	pointwise baseline, pointwise unification, pointwise unifier, gadts
1	Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich	Verifying event-driven programs using ramified frame properties.	TLDI	2010	DBLP DOI BibTeX RDF	frame rule, ramification problem, subject-observer, dataflow, separation logic, functional reactive programming
1	Matthias Felleisen	Adding types to untyped languages.	TLDI	2010	DBLP DOI BibTeX RDF	software contracts, type systems, scheme
1	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
1	Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers	Let should not be generalized.	TLDI	2010	DBLP DOI BibTeX RDF	type families, haskell, type inference, type classes, generalized algebraic data types
1	Kumar Avijit, Anupam Datta, Robert Harper 0001	Distributed programming with distributed authorization.	TLDI	2010	DBLP DOI BibTeX RDF	phase distinction, proof-carrying authorization, distributed programming, logical frameworks, authorization logic
1	Andreas Rossberg, Claudio V. Russo, Derek Dreyer	F-ing modules.	TLDI	2010	DBLP DOI BibTeX RDF	first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration
1	Andrew Kennedy, Nick Benton (eds.)	Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010	TLDI	2010	DBLP BibTeX RDF
1	Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak	Opis: reliable distributed systems in OCaml.	TLDI	2009	DBLP DOI BibTeX RDF	distributed systems, model checking, functional programming, arrows
1	Andrew Kennedy, Amal Ahmed 0001 (eds.)	Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009	TLDI	2009	DBLP BibTeX RDF
1	Ioannis G. Baltopoulos, Andrew D. Gordon 0001	Secure compilation of a multi-tier web language.	TLDI	2009	DBLP DOI BibTeX RDF	cryptography, compilers, integrity, type systems, web programming, web application security
1	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction of sound hierarchical runtime object graphs.	TLDI	2009	DBLP DOI BibTeX RDF	architectural extraction, ownership domains, object graphs, runtime architecture
1	Daniel Marino, Todd D. Millstein	A generic type-and-effect system.	TLDI	2009	DBLP DOI BibTeX RDF	type-and-effect systems
1	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Relational parametricity for references and recursive types.	TLDI	2009	DBLP DOI BibTeX RDF	general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics
1	Aleksandar Nanevski, Paul Govereau, Greg Morrisett	Towards type-theoretic semantics for transactional concurrency.	TLDI	2009	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
1	Nick Benton, Nicolas Tabareau	Compiling functional types to relational specifications for low level imperative code.	TLDI	2009	DBLP DOI BibTeX RDF	separation logic, proof assistants, compiler verification, relational parametricity, type soundness
1	Ulf Norell	Dependently typed programming in Agda.	TLDI	2009	DBLP DOI BibTeX RDF	programming, dependent types
1	Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse	Design patterns in separation logic.	TLDI	2009	DBLP DOI BibTeX RDF	design patterns, separation logic
1	Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera	Typed transformations of typed abstract syntax.	TLDI	2009	DBLP DOI BibTeX RDF	typed transformations, type systems, meta-programming, gadt, common subexpression elimination
1	Conor McBride	What's the deal with dependent types?	TLDI	2007	DBLP DOI BibTeX RDF	epigram, pattern matching, dependent types
1	François Pottier, George C. Necula (eds.)	Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007	TLDI	2007	DBLP BibTeX RDF
1	Xinyu Feng 0001, Zhaozhong Ni, Zhong Shao, Yu Guo	An open framework for foundational proof-carrying code.	TLDI	2007	DBLP DOI BibTeX RDF	foundational proof-carrying code, open framework, interoperability, modularity, program verification
1	Kathleen Fisher	Typing ad hoc data.	TLDI	2007	DBLP DOI BibTeX RDF	ad hoc data, domain-specific languages, dependent types, data description languages
1	Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly	System F with type equality coercions.	TLDI	2007	DBLP DOI BibTeX RDF	advanced type features, typed intermediate language
1	Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster	Modular information hiding and type-safe linking for C.	TLDI	2007	DBLP DOI BibTeX RDF	C, information hiding, type-safety, module systems
1	Nick Benton, Peter Buchlovsky	Semantics of an effect analysis for exceptions.	TLDI	2007	DBLP DOI BibTeX RDF	partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems
1	Didier Rémy, Boris Yakobowski	A graphical presentation of MLF types with a linear-time unification algorithm.	TLDI	2007	DBLP DOI BibTeX RDF	system SF, graphs, types, unification, binders, MLF
1	Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen	A garbage-collecting typed assembly language.	TLDI	2007	DBLP DOI BibTeX RDF	garbage collection, typed assembly language
1	Michael F. Ringenburg, Dan Grossman	Types for describing coordinated data structures.	TLDI	2005	DBLP DOI BibTeX RDF	coordinated data structures
1	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
1	J. Gregory Morrisett, Manuel Fähndrich (eds.)	Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005	TLDI	2005	DBLP BibTeX RDF
1	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	The open verifier framework for foundational verifiers.	TLDI	2005	DBLP DOI BibTeX RDF	language-based security, proof-carrying code, typed assembly language
1	Peter Thiemann 0001	Grammar-based analysis of string expressions.	TLDI	2005	DBLP DOI BibTeX RDF	string expression analysis, constraints, type inference
1	Juan Chen	Decidable subclassing-bounded quantification.	TLDI	2005	DBLP DOI BibTeX RDF	bounded quantification, class and object encoding, decidability, typed intermediate language
1	Joseph Vanderwaart, Karl Crary	Automated and certified conformance to responsiveness policies.	TLDI	2005	DBLP DOI BibTeX RDF	grid computing, typed assembly language, certified code
1	Cormac Flanagan, Stephen N. Freund, Marina Lifshin	Type inference for atomicity.	TLDI	2005	DBLP DOI BibTeX RDF	concurrency, reduction, type inference, atomicity
1	Adam Chlipala, Leaf Petersen, Robert Harper 0001	Strict bidirectional type checking.	TLDI	2005	DBLP DOI BibTeX RDF	strict logic, type inference, type theory
1	Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich	An open and shut typecase.	TLDI	2005	DBLP DOI BibTeX RDF	intensional type analysis, generativity, reflexivity, ad-hoc polymorphism
1	Gilles Barthe, Tamara Rezk	Non-interference for a JVM-like language.	TLDI	2005	DBLP DOI BibTeX RDF	type systems, confidentiality, low level languages
1	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
1	Joseph Vanderwaart, Karl Crary	A typed interface for garbage collection.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, garbage collection, type systems, certified code
1	Naoki Kobayashi 0001	Time regions and effects for resource usage analysis.	TLDI	2003	DBLP DOI BibTeX RDF	program analysis, types, effects, resource usage
1	Zhong Shao, Peter Lee (eds.)	Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003	TLDI	2003	DBLP DOI BibTeX RDF
1	Martin Elsman	Garbage collection safety for region-based memory management.	TLDI	2003	DBLP DOI BibTeX RDF	region inference, garbage collection, standard ML
1	Ralf Lämmel, Simon L. Peyton Jones	Scrap your boilerplate: a practical design pattern for generic programming.	TLDI	2003	DBLP DOI BibTeX RDF	rank-2 types, type cast, generic programming, traversal
1	Torben Amtoft, Robert Muller	Inferring annotated types for inter-procedural register allocation with constructor flattening.	TLDI	2003	DBLP DOI BibTeX RDF	type systems, register allocation, effects, defunctionalization, certifying compilers
1	Dan Grossman	Type-safe multithreading in cyclone.	TLDI	2003	DBLP DOI BibTeX RDF	types, data races, cyclone
1	Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon 0001	Deciding validity in a spatial logic for trees.	TLDI	2003	DBLP DOI BibTeX RDF
1	Sungwoo Park	A calculus for probabilistic languages.	TLDI	2003	DBLP DOI BibTeX RDF	probabilistic calculus, probabilistic language, refinement type system
1	Cormac Flanagan, Shaz Qadeer	Types for atomicity.	TLDI	2003	DBLP DOI BibTeX RDF
1	Amal J. Ahmed 0001, David Walker 0001	The logical approach to stack typing.	TLDI	2003	DBLP DOI BibTeX RDF	bunched logic, ordered logic, type systems, memory management, linear logic, stack, typed assembly language

Publications at "TLDI"( http://dblp.L3S.de/Venues/TLDI )