Fredrik Lindblad

According to our database, Fredrik Lindblad authored at least 5 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

A Focused Sequent Calculus for Higher-Order Logic.

Fredrik Lindblad

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2008

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.

Colin Runciman, Matthew Naylor, Fredrik Lindblad

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007

Higher-Order Proof Construction Based on First-Order Narrowing.

Fredrik Lindblad

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007

Property Directed Generation of First-Order Test Data.

Fredrik Lindblad

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

2004

A Tool for Automated Theorem Proving in Agda.

Fredrik Lindblad, Marcin Benke

Proceedings of the Types for Proofs and Programs, International Workshop, 2004