CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming

Gilles Barthes ; Peter Dybjer (Institutionen för datavetenskap, Programmeringslogik) ; Peter Thiemann
Journal of functional programming (0956-7968). Vol. 14 (2004), 1, p. 1-2.
[Artikel, övrig vetenskaplig]

Modern programming languages rely on advanced type systems that detect errors at compile-time. While the benefits of type systems have long been recognized, there are some areas where the standard systems in programming languages are not expressive enough. Language designers usually trade expressiveness for decidability of the type system. Some interesting programs will always be rejected (despite their semantical soundness) or be assigned uninformative types.



Denna post skapades 2015-02-11.
CPL Pubid: 212433

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datavetenskap, Programmeringslogik (2002-2004)

Ämnesområden

Data- och informationsvetenskap

Chalmers infrastruktur