Sciweavers

10622 search results - page 329 / 2125
» Python Programming Language
Sort
View
VL
2007
IEEE
112views Visual Languages» more  VL 2007»
15 years 10 months ago
Visual Languages: A Matter of Style
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
Sacha Berger, François Bry, Tim Furche, Chr...
TPHOL
2009
IEEE
15 years 10 months ago
A Brief Overview of Agda - A Functional Language with Dependent Types
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

Book
386views
17 years 1 days ago
1000 Java Tips
1000 questions and answers in Java. This is a great resource for the Java preparation exam.
ICLP
2009
Springer
16 years 4 months ago
Research Summary
Jianmin Ji