CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Dependent types in practical programming

by: Hongwei Xi, Frank Pfenning
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.

View the full article here:

ACM, DOI

This article has been bookmarked 13 times, initially on 2005-05-09.

2009-11-12 User ama08r
2009-08-08 User shimomura
2009-03-28 User msakai
2008-02-29 User jimburton
2006-04-17 User geishagirls
2006-01-13 User rysavy
2005-10-17 User voigt
User kavabean
2005-07-13 User tautologico , 1 note

Conference version

2005-07-13 05:11:32
2005-06-30 User japple
2005-05-28 User rgrig
Group SRG_at_UCD
2005-05-09 User yallop
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.