First Page | Document Content | |
---|---|---|
![]() Date: 2007-04-30 17:50:44Evaluation strategy Lambda calculus Functional programming Scheme Thunk Procedural programming languages Subroutines Eval Lazy evaluation Software engineering Computing Computer programming | Add to Reading List |
![]() | 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 |