Smap
SmapIE
New program
Curry
Prolog
Haskell
Open program by ID
Browser
Dashboard
Programs on Smap
Most recent
Most favorited
Tags on Smap
All tags
Sign in
Help
Browser
Programs
Advanced search
Filtering options
Filter by keyword
Search keyword in
Title
Description
Tags
Filter by language
All languages (default)
Curry
Prolog
Haskell
Sorting options
Sort by
creation date (default)
last modified date
popularity
title
language
Order results
descending (default)
ascending
Search
Reset
Top 25 tags
all tags »
Click on a tag to search all related programs.
curry
list
functional
logic
functional_pattern
non-determinism
sorting
haskell
higher-order
narrowing
constraints
set_functions
curry,
finite_domain
variables
unification
recursion
test
example
logic_programming
function_inversion
prolog
constrained_constructor
incremental_solution
comprehension
All programs
(1 result)
...with keyword "program_transformation" (sorted by creation date, descending).
Oops, this page does not exist.
×
Cookie Information
This web site uses technical cookies for navigation and user inputs.