Verified Functional Programming in Agda
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Association For Computing Machinery

9781970001273

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Case Study: Huffman Encoding and Decoding

Verified Functional Programming in Agda ◽

10.1145/2841316.2841325 ◽

2016 ◽

pp. 169

Keyword(s):

Huffman Encoding

Download Full-text

Lists

Verified Functional Programming in Agda ◽

10.1145/2841316.2841321 ◽

2016 ◽

pp. 73

Download Full-text

Natural Numbers

Verified Functional Programming in Agda ◽

10.1145/2841316.2841320 ◽

2016 ◽

pp. 43

Keyword(s):

Natural Numbers

Download Full-text

Preface

Verified Functional Programming in Agda ◽

10.1145/2841316.2841317 ◽

2016 ◽

pp. xiii

Download Full-text

Functional Programming with the Booleans

Verified Functional Programming in Agda ◽

10.1145/2841316.2841318 ◽

2016 ◽

pp. 1

Keyword(s):

Functional Programming

Download Full-text

Type-Level Computation

Verified Functional Programming in Agda ◽

10.1145/2841316.2841323 ◽

2016 ◽

pp. 131

Download Full-text

Generating Agda Parsers with gratr

Verified Functional Programming in Agda ◽

10.1145/2841316.2841324 ◽

2016 ◽

pp. 151

Download Full-text

Introduction to Constructive Proof

Verified Functional Programming in Agda ◽

10.1145/2841316.2841319 ◽

2016 ◽

pp. 17

Keyword(s):

Constructive Proof

Download Full-text

References

Verified Functional Programming in Agda ◽

10.1145/2841316.2841329 ◽

2016 ◽

pp. 253

Download Full-text

Internal Verification

Verified Functional Programming in Agda ◽

10.1145/2841316.2841322 ◽

2016 ◽

pp. 99

Download Full-text