Search results for "Neelakantan R. Krishnaswami"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann 0002	Higher-order functional reactive programming in bounded space.	POPL	2012	DBLP DOI BibTeX RDF
1	Neelakantan R. Krishnaswami	Semantics for graphical user interfaces.	TLDI	2012	DBLP DOI BibTeX RDF
1	Neelakantan R. Krishnaswami, Nick Benton	Adding Equations to System F Types.	ESOP	2012	DBLP DOI BibTeX RDF
1	Neelakantan R. Krishnaswami, Nick Benton	A semantic model for graphical user interfaces.	ICFP	2011	DBLP DOI BibTeX RDF
1	Neelakantan R. Krishnaswami, Nick Benton	Ultrametric Semantics of Reactive Programs.	LICS	2011	DBLP DOI BibTeX RDF
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	Neelakantan R. Krishnaswami	Focusing on pattern matching.	POPL	2009	DBLP DOI BibTeX RDF	curry-howard, pattern matching, type theory, focusing
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	Neelakantan R. Krishnaswami, Jonathan Aldrich	Permission-based ownership: encapsulating state in higher-order typed languages.	PLDI	2005	DBLP DOI BibTeX RDF	modularity, lambda calculus, type theory, state, domains, ownership types, permissions, system f
1	Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park	The Inverse Method for the Logic of Bunched Implications.	LPAR	2004	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )

Publications of Neelakantan R. Krishnaswami Neel Krishnaswami ( http://dblp.L3S.de/Authors/Neelakantan_R._Krishnaswami )