×

Found 22,468 Documents (Results 1–100)

The Langlands correspondence for function fields following Laurent lafforgue. (English) Zbl 1523.11206

Mazur, Barry (ed.) et al., Current developments in mathematics. 1999. Proceedings of the seminar, Cambridge, MA, USA, 1999. Somerville, MA: International Press. 115-132 (1999).
PDFBibTeX XMLCite
Full Text: DOI

A non-deterministic call-by-need lambda calculus. (English) Zbl 1428.68106

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 324-335 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Intensional polymorphism in type-erasure semantics. (English) Zbl 1428.68097

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 301-312 (1999).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Fold and unfold for program semantics. (English) Zbl 1428.68103

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 280-288 (1999).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

The under-appreciated unfold. (English) Zbl 1428.68099

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 273-279 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Imperative streams – a monadic combinator library for synchronous programming. (English) Zbl 1428.68114

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 261-272 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Cayenne – a language with dependent types. (English) Zbl 1428.68094

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 239-250 (1999).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

A framework for type inference with subtyping. (English) Zbl 1428.68112

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 228-238 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Pragmatic subtyping in polymorphic languages. (English) Zbl 1428.68110

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 216-227 (1999).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI Link

Functional differentiation of computer programs. (English) Zbl 1428.68104

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 195-203 (1999).
MSC:  68N18 65D25
PDFBibTeX XMLCite
Full Text: DOI

Lazy computation with exact real numbers. (English) Zbl 1428.68098

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 185-194 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

The spineless tagless G-machine, naturally. (English) Zbl 1428.68109

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 163-173 (1999).
MSC:  68N18 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Typed cross-module compilation. (English) Zbl 1428.68115

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 141-152 (1999).
MSC:  68N18 68N20
PDFBibTeX XMLCite
Full Text: DOI

Compiling standard ML to Java bytecodes. (English) Zbl 1428.68096

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 129-140 (1999).
MSC:  68N18 68N20
PDFBibTeX XMLCite
Full Text: DOI

YALE: yet another lambda evaluator based on interaction nets. (English) Zbl 1428.68107

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 117-128 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Programming with variable functions. (English) Zbl 1428.68111

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 105-116 (1999).
MSC:  68N18 68Q65
PDFBibTeX XMLCite
Full Text: DOI

A theory of core Fudgets. (English) Zbl 1428.68116

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 75-85 (1999).
MSC:  68N18 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

The marriage of effects and monads. (English) Zbl 1428.68117

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 63-74 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Taming effects with monadic typing. (English) Zbl 1428.68105

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 51-62 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

A type based sharing analysis for update avoidance and optimisation. (English) Zbl 1428.68101

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 39-50 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Higher-order arity raising. (English) Zbl 1428.68102

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 27-38 (1999).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

On the runtime complexity of type-directed unboxing. (English) Zbl 1428.68108

Proceedings of the 3rd ACM SIGPLAN international conference on functional programming, ICFP ’98, Baltimore, MD, USA, September 26–29, 1998. ACM SIGPLAN Notices 34, No. 1. New York, NY: Association for Computing Machinery (ACM). 1-12 (1999).
MSC:  68N18 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software