Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Electronic proceedings in theoretical computer science, 2013-07, Vol.121 (Proc. ITRS 2012), p.35-47
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-01, Vol.45 (Proc. ITRS 2010), p.59-70
2011
Volltextzugriff (PDF)
Journal of functional programming, 2014-05, Vol.24 (2-3), p.133-165
2014
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-28
2019
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.476-503
2017
Volltextzugriff (PDF)
Automated Reasoning, p.15-21
Volltextzugriff (PDF)
Journal of functional programming, 2014-01, Vol.24 (1), p.56-112
2014
Volltextzugriff (PDF)
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015, p.256-268
2015
Volltextzugriff (PDF)
SIGPLAN notices, 2013-11, Vol.48 (9), p.429-442
2013
Volltextzugriff (PDF)
SIGPLAN notices, 2012-09, Vol.47 (9), p.17-28
2012
Volltextzugriff (PDF)
SIGPLAN notices, 2017, Vol.52 (1), p.804-817
2017
Volltextzugriff (PDF)
SIGPLAN notices, 2012-08, Vol.47 (6), p.299-310
2012
Volltextzugriff (PDF)
International Conference on Functional Programming: Proceedings of the 2007 workshop on Programming languages meets program verification; 05-05 Oct. 2007, 2007, p.21-32
2007
Volltextzugriff (PDF)
Proceedings of the 2009 ACM SIGPLAN workshop on ML, 2009, p.15-26
2009
Volltextzugriff (PDF)
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012, p.299-310
2012
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2009-01, Vol.228, p.69-84
2009
Volltextzugriff (PDF)
SIGPLAN notices, 2011-09, Vol.46 (9), p.129-141
2011
Volltextzugriff (PDF)
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, 2011, p.129-141
2011
Volltextzugriff (PDF)
Annual Symposium on Principles of Programming Languages: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 14-16 Jan. 2004, 2004, p.281-292
2004
Volltextzugriff (PDF)
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004-01, Vol.39 (1), p.281-292
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Intersection Types
- Dependent Types
- Polymorphism
- Programming Languages
- Type Refinements
- Union Types
- Bidirectional Typechecking
- Compiler Optimization
- Higher-Rank Polymorphism
- Incrementalization
- Languages
- Self-Adjusting Computation
- Source Programs
- Theory Of Computation -- Semantics And Reasoning -- Program Constructs
- Theory Of Computation -- Semantics And Reasoning -- Program Constructs -- Type Structures
Kollektion
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Electronic Proceedings In Theoretical Computer Science
- Journal Of Functional Programming
- Electronic Notes In Theoretical Computer Science
- Proceedings Of Acm On Programming Languages
- Proceedings Of The 31st Acm Sigplan-Sigact Symposium On Principles Of Programming Languages