Search Sciweavers | Sciweavers

1932 search results - page 22 / 387

» A Functional Quantum Programming Language

230

click to vote

TPHOL
2009
IEEE

335views Automated Reasoning» more TPHOL 2009»

A Brief Overview of Agda - A Functional Language with Dependent Types

15 years 11 months ago

Download www.cs.chalmers.se

Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...

Ana Bove, Peter Dybjer, Ulf Norell

claim paper

Read More »

click to vote

ICALP
2007
Springer

83views Programming Languages» more ICALP 2007»

Balanced Families of Perfect Hash Functions and Their Applications

15 years 11 months ago

Download www.cs.tau.ac.il

Noga Alon, Shai Gutner

claim paper

Read More »

114

click to vote

ICALP
2007
Springer

81views Programming Languages» more ICALP 2007»

Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms

15 years 11 months ago

Download eprint.iacr.org

Mihir Bellare, Thomas Ristenpart

claim paper

Read More »

click to vote

CP
2005
Springer

100views Artificial Intelligence» more CP 2005»

Automated Search for Heuristic Functions

15 years 10 months ago

Download www.mff.cuni.cz

Pavel Cejnar, Roman Barták

claim paper

Read More »

click to vote

ICALP
2004
Springer

93views Programming Languages» more ICALP 2004»

The Complexity of Partition Functions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers