Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

41

JFP
2000

favoriteEmaildiscussreport

75views more JFP 2000»

Do we need dependent types?

13 years 10 months ago

Do we need dependent types?

Download www.brics.dk

Daniel Fridlender, Mia Indrika

Real-time Traffic

JFP 2000 |

claim paper

Related Content

» How Large a Corpus Do We Need Statistical Method Versus Rulebased Method

» Why do we need personality diversity in software engineering

» Understanding the Power of PullBased Streaming Protocol Can We Do Better

» Music Information Retrieval systems why do individuals use them and what are their needs

» Epigram Practical Programming with Dependent Types

» Recursion on Nested Datatypes in Dependent Type Theory

» Singleton types here singleton types there singleton types everywhere

» IT Training for Students Who Needs It

» Checking Dependent Types Using Compiled Code

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	JFP
Authors	Daniel Fridlender, Mia Indrika

Comments (0)