First Page | Document Content | |
---|---|---|
![]() Date: 2003-10-06 03:13:27Evaluation strategy Functional languages Functional programming Lambda calculus Lazy evaluation Glasgow Haskell Compiler Speculative execution Thunk Stream Software engineering Computing Declarative programming | Source URL: research.microsoft.comDownload Document from Source WebsiteFile Size: 190,09 KBShare Document on Facebook |
![]() | The Limited Monopoly Inventorship: Who Thunk Of It? The Law The United States is unique in theDocID: 1adVJ - View Document |
![]() | Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ Javier Miranda1 and Edmond Schonberg2 1DocID: 17OEM - View Document |
![]() | Delimited Control in OCaml, Abstractly and Concretely System Description Oleg Kiselyov FNMOCDocID: 15FrW - View Document |
![]() | 17 8 Towards Certification of Object-Oriented Code with the GNAT Compiler Javier Miranda Instituto Universitario de Microelectrónica Aplicada. Universidad de Las Palmas de Gran Canaria, CanaryDocID: 14ubT - View Document |
![]() | Haskell on a Shared-Memory Multiprocessor Tim Harris Simon Marlow Simon Peyton JonesDocID: 13Ufm - View Document |