Syntax

Results: 6156



#Item
81Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Add to Reading List

Source URL: www.barzilay.org

Language: English - Date: 2003-07-04 16:21:32
82The tale of two cities: Urban planning of the city Isfahan in the past and present Kayvan Karimi1 and Nooshin Motamed 1. Space Syntax Limited, UK

The tale of two cities: Urban planning of the city Isfahan in the past and present Kayvan Karimi1 and Nooshin Motamed 1. Space Syntax Limited, UK

Add to Reading List

Source URL: www.spacesyntax.net

Language: English - Date: 2012-01-25 10:14:24
    83How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules • Overview • Petrofsky Extraction extracting variables from arguments of a macro

    How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules • Overview • Petrofsky Extraction extracting variables from arguments of a macro

    Add to Reading List

    Source URL: repository.readscheme.org

    Language: English - Date: 2010-10-22 08:05:28
      84Proceedings of the 11th Space Syntax Symposium #93 PIPA BEYOND THE RING: Exploring possible effects of a road grid expansion on the centrality of a coastal resort

      Proceedings of the 11th Space Syntax Symposium #93 PIPA BEYOND THE RING: Exploring possible effects of a road grid expansion on the centrality of a coastal resort

      Add to Reading List

      Source URL: www.11ssslisbon.pt

      Language: English - Date: 2017-09-10 09:35:20
        85Proceedings of the 11th Space Syntax Symposium #132 SELECTIVE ATTENTION WITHIN ISOVIST: Changes In Viewers’ Conceptual Understanding Of Architectural Elements Under Navigational And Exploratory Tasks

        Proceedings of the 11th Space Syntax Symposium #132 SELECTIVE ATTENTION WITHIN ISOVIST: Changes In Viewers’ Conceptual Understanding Of Architectural Elements Under Navigational And Exploratory Tasks

        Add to Reading List

        Source URL: www.11ssslisbon.pt

        Language: English - Date: 2017-09-10 09:35:06
          86Joint ISO/TC 154 – UN/CEFACT Syntax Working Group (JSWG) publication of ISOequivalent to the official ISO publication: ISOFirst editionElectronic data interchange for

          Joint ISO/TC 154 – UN/CEFACT Syntax Working Group (JSWG) publication of ISOequivalent to the official ISO publication: ISOFirst editionElectronic data interchange for

          Add to Reading List

          Source URL: www.gefeg.com

          Language: English - Date: 2000-10-04 01:39:44
            87Formale Systeme ¨ Pradikatenlogik: Syntax Prof. Dr. Peter H. Schmitt

            Formale Systeme ¨ Pradikatenlogik: Syntax Prof. Dr. Peter H. Schmitt

            Add to Reading List

            Source URL: i12www.ira.uka.de

            Language: English - Date: 2012-11-16 08:21:26
            88

            6th International Space Syntax Symposium ISTANBULJune, Istanbul, TURKEYhttp://www.spacesyntaxistanbul.itu.edu.tr REGISTRATION FORM

            Add to Reading List

            Source URL: www.spacesyntaxistanbul.itu.edu.tr

            Language: English - Date: 2007-05-04 07:30:40
              89Syntax and Semantics in Minimalist Grammars Gregory M. Kobele ESSLLI ’09 This chapter presents a grammar for a fragment of English A-movement.1 The constructions accounted for include raising, passivization, and contro

              Syntax and Semantics in Minimalist Grammars Gregory M. Kobele ESSLLI ’09 This chapter presents a grammar for a fragment of English A-movement.1 The constructions accounted for include raising, passivization, and contro

              Add to Reading List

              Source URL: esslli2009.labri.fr

              Language: English - Date: 2010-10-12 04:42:15
                90Matrix Calculations in R updated 8 Feb 2004 R can be used to perform matrix multiplication and inversion. The syntax is a little odd, but straightforward. In the notes below, > indicates the R prompt, [1] the output from

                Matrix Calculations in R updated 8 Feb 2004 R can be used to perform matrix multiplication and inversion. The syntax is a little odd, but straightforward. In the notes below, > indicates the R prompt, [1] the output from

                Add to Reading List

                Source URL: nitro.biosci.arizona.edu

                Language: English - Date: 2004-02-08 12:08:14