pith. sign in

Paul Tarau

Identifiers

  • name variant Paul Tarau 0.60 · backfill

Papers (25)

  1. On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms cs.PL · 2017 · author #2
  2. Random generation of closed simply-typed $\lambda$-terms: a synergy between logic programming and Boltzmann samplers cs.LO · 2016 · author #3
  3. A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms cs.PL · 2016 · author #1
  4. A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations cs.LO · 2015 · author #1
  5. Interclausal Logic Variables cs.PL · 2014 · author #1
  6. A Prolog Specification of Giant Number Arithmetic cs.PL · 2013 · author #1
  7. Arithmetic Algorithms for Hereditarily Binary Natural Numbers cs.DS · 2013 · author #1
  8. On Two Infinite Families of Pairing Bijections cs.MS · 2013 · author #1
  9. Binary Tree Arithmetic with Generalized Constructors cs.MS · 2013 · author #1
  10. Tree-based Arithmetic and Compressed Representations of Giant Numbers cs.PL · 2013 · author #1
  11. Bijective Term Encodings cs.PL · 2011 · author #1
  12. Computing with Hereditarily Finite Sequences cs.PL · 2011 · author #1
  13. The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines cs.PL · 2011 · author #1
  14. A Unified Formal Description of Arithmetic and Set Theoretical Data Types cs.SC · 2010 · author #1
  15. Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell cs.PL · 2008 · author #1
  16. Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell cs.DS · 2008 · author #1
  17. A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions cs.MS · 2008 · author #1
  18. Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes cs.SC · 2008 · author #1
  19. Logic Engines as Interactors cs.PL · 2008 · author #1
  20. Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog cs.LO · 2008 · author #1
  21. Ranking and Unranking of Hereditarily Finite Functions and Permutations cs.LO · 2008 · author #1
  22. Executable Set Theory and Arithmetic Encodings in Prolog cs.LO · 2008 · author #1
  23. A Logic Programming Framework for Combinational Circuit Synthesis cs.LO · 2008 · author #1
  24. High-Level Networking With Mobile Code And First Order AND-Continuations cs.PL · 2004 · author #1
  25. Treating Coordination with Datalog Grammars cmp-lg · 1995 · author #2

Mentions

  • 1507.06944 #1 · backfill · confidence 0.70 Paul Tarau
  • 1406.1393 #1 · backfill · confidence 0.70 Paul Tarau
  • 1307.4642 #1 · backfill · confidence 0.70 Paul Tarau
  • 1306.1128 #1 · backfill · confidence 0.70 Paul Tarau
  • 1301.0129 #1 · backfill · confidence 0.70 Paul Tarau
  • 1301.0128 #1 · backfill · confidence 0.70 Paul Tarau
  • 1301.0114 #1 · backfill · confidence 0.70 Paul Tarau
  • 1112.3788 #1 · backfill · confidence 0.70 Paul Tarau
  • 1112.3782 #1 · backfill · confidence 0.70 Paul Tarau
  • 1102.1178 #1 · backfill · confidence 0.70 Paul Tarau
  • 1006.5768 #1 · backfill · confidence 0.70 Paul Tarau
  • 0808.2953 #1 · backfill · confidence 0.70 Paul Tarau
  • 0808.0760 #1 · backfill · confidence 0.70 Paul Tarau
  • 0808.0754 #1 · backfill · confidence 0.70 Paul Tarau
  • 0808.0753 #1 · backfill · confidence 0.70 Paul Tarau
  • 0808.0556 #1 · backfill · confidence 0.70 Paul Tarau
  • 0808.0555 #1 · backfill · confidence 0.70 Paul Tarau
  • 0808.0554 #1 · backfill · confidence 0.70 Paul Tarau
  • 0808.0540 #1 · backfill · confidence 0.70 Paul Tarau
  • 0804.2095 #1 · backfill · confidence 0.70 Paul Tarau

Frequent Coauthors