David Baelde

	2012
14		David Baelde: Least and Greatest Fixed Points in Linear Logic. ACM Trans. Comput. Log. 13(1): 2 (2012)
13		David Baelde, Gopalan Nadathur: Combining Deduction Modulo and Logics of Fixed-Point Definitions CoRR abs/1204.6236: (2012)
	2011
12		David Baelde, Romain Beauxis, Samuel Mimram: Liquidsoap: A High-Level Programming Language for Multimedia Streaming. SOFSEM 2011: 99-110
11		David Baelde, Romain Beauxis, Samuel Mimram: Liquidsoap: a High-Level Programming Language for Multimedia Streaming CoRR abs/1104.2681: (2011)
	2010
10		David Baelde, Dale Miller, Zachary Snow: Focused Inductive Theorem Proving. IJCAR 2010: 278-292
9		Zachary Snow, David Baelde, Gopalan Nadathur: A meta-programming approach to realizing dependently typed logic programming. PPDP 2010: 187-198
8		Zachary Snow, David Baelde, Gopalan Nadathur: A Meta-Programming Approach to Realizing Dependently Typed Logic Programming CoRR abs/1005.4379: (2010)
7		Zachary Snow, David Baelde, Gopalan Nadathur: Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search CoRR abs/1007.0779: (2010)
	2009
6		David Baelde: On the Proof Theory of Regular Fixed Points. TABLEAUX 2009: 93-107
5		David Baelde: Least and greatest fixed points in linear logic CoRR abs/0910.3383: (2009)
4		David Baelde: On the Expressivity of Minimal Generic Quantification. Electr. Notes Theor. Comput. Sci. 228: 3-19 (2009)
	2007
3		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397
2		David Baelde, Dale Miller: Least and Greatest Fixed Points in Linear Logic. LPAR 2007: 92-106
1		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007)

Coauthor Index

1	Romain Beauxis	[11] [12]
2	Andrew Gacek	[1] [3]
3	Dale Miller	[1] [2] [3] [10]
4	Samuel Mimram	[11] [12]
5	Gopalan Nadathur	[1] [3] [7] [8] [9] [13]
6	Zachary Snow	[7] [8] [9] [10]
7	Alwen Tiu (Alwen Fernanto Tiu)	[1] [3]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page