Sciweavers

Share ➚
TPHOL   2009 International Workshop on the HOL Theorem Proving System and its Applications
Wall of Fame | Most Viewed TPHOL-2009 Paper
TPHOL
2009
IEEE
135views Automated Reasoning» more  TPHOL 2009»
A Brief Overview of Agda - A Functional Language with Dependent Types
1 years 12 months ago
A Brief Overview of Agda - A Functional Language with Dependent Types
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 »
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source135
A Brief Overview of Agda - A Functional Language with Dependent Types
claim
2Download preprint from source104
HOL Light: An Overview
claim
3Download preprint from source97
A Better x86 Memory Model: x86-TSO
claim
4Download preprint from source95
Formalising Observer Theory for Environment-Sensitive Bisimulation
claim
5Download preprint from source93
A Hoare Logic for the State Monad
claim
6Download preprint from source92
Without Loss of Generality
claim
7Download preprint from source89
Let's Get Physical: Models and Methods for Real-World Security Protocols
claim
8Download preprint from source88
Formal Verification of Exact Computations Using Newton's Method
claim
9Download preprint from source86
A Formalisation of Smallfoot in HOL
claim
10Download preprint from source83
Mind the Gap
claim
11Download preprint from source83
Formalizing the Logic-Automaton Connection
claim
12Download preprint from source82
Formal Analysis of Optical Waveguides in HOL
claim
13Download preprint from source81
Packaging Mathematical Structures
claim
14Download preprint from source78
Extended First-Order Logic
claim
15Download preprint from source76
The HOL-Omega Logic
claim
16Download preprint from source75
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL
claim
17Download preprint from source73
VCC: A Practical System for Verifying Concurrent C
claim
18Download preprint from source73
Psi-calculi in Isabelle
claim
19Download preprint from source71
Trace-Based Coinductive Operational Semantics for While
claim
20Download preprint from source69
Types, Maps and Separation Logic
claim
21Download preprint from source68
Practical Tactics for Separation Logic
claim
22Download preprint from source63
Some Domain Theory and Denotational Semantics in Coq
claim
Spread the Word
Explore & Download
Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
Productivity Tools
International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
Document Tools
PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
Image Tools
JPG to PS JPG to PDF Extract Images from PDF Image Converter
Sciweavers
About Community Report Bug Request Feature Privacy Policy Terms of Use Contact

Copyright © 2009-2011 Sciweavers LLC. All rights reserved.

books